runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255194-1501621295/watcher-4255194-1501621295 -o /tmp/evaluation-result-4255194-1501621295/solver-4255194-1501621295 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501617027-7473 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 315134046 HOME/instance-4255194-1501621295.xml
pid=13312
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.63 1.88 1.91 2/195 13315
/proc/meminfo: memFree=30925776/32770624 swapFree=0/972560
[pid=13315] ppid=13312 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (runsolver) D 13312 13315 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10754210 24240128 106 18446744073709551615 4194304 4338465 140726280435680 140726280433320 140402872873687 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 26546176 140726280437854 140726280438342 140726280438342 140726280441802 0
/proc/13315/statm: 5918 106 53 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.63 1.88 1.91 2/195 13315
/proc/meminfo: memFree=30925776/32770624 swapFree=0/972560
[pid=13315] ppid=13312 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (xcsp3-exec) S 13312 13315 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10754210 9740288 345 18446744073709551615 4194304 5098028 140735913803920 140735913802024 140349233144444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 24154112 140735913808284 140735913808487 140735913808487 140735913811947 0
/proc/13315/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.209934 s]
/proc/loadavg: 1.63 1.88 1.91 2/195 13315
/proc/meminfo: memFree=30925776/32770624 swapFree=0/972560
[pid=13315] ppid=13312 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (xcsp3-exec) S 13312 13315 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10754210 9740288 345 18446744073709551615 4194304 5098028 140735913803920 140735913802024 140349233144444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 24154112 140735913808284 140735913808487 140735913808487 140735913811947 0
/proc/13315/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.308362 s]
/proc/loadavg: 1.63 1.88 1.91 2/195 13315
/proc/meminfo: memFree=30925776/32770624 swapFree=0/972560
[pid=13315] ppid=13312 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (xcsp3-exec) S 13312 13315 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10754210 9740288 345 18446744073709551615 4194304 5098028 140735913803920 140735913802024 140349233144444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 24154112 140735913808284 140735913808487 140735913808487 140735913811947 0
/proc/13315/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70056 s]
/proc/loadavg: 1.63 1.88 1.91 2/195 13315
/proc/meminfo: memFree=30925776/32770624 swapFree=0/972560
[pid=13315] ppid=13312 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (xcsp3-exec) S 13312 13315 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10754210 9740288 345 18446744073709551615 4194304 5098028 140735913803920 140735913802024 140349233144444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 24154112 140735913808284 140735913808487 140735913808487 140735913811947 0
/proc/13315/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50116 s]
/proc/loadavg: 1.63 1.88 1.91 6/211 13331
/proc/meminfo: memFree=30822580/32770624 swapFree=0/972564
[pid=13315] ppid=13312 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (xcsp3-exec) S 13312 13315 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10754210 9740288 345 18446744073709551615 4194304 5098028 140735913803920 140735913802024 140349233144444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 24154112 140735913808284 140735913808487 140735913808487 140735913811947 0
/proc/13315/statm: 2378 345 289 221 0 87 0
[pid=13317] ppid=13315 vsize=13980732 CPUtime=3.86 cores=1,3,5,7
/proc/13317/stat : 13317 (java) S 13315 13315 5678 0 -1 1077944320 33329 0 0 0 378 8 0 0 20 0 15 0 10754216 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140731439515024 140290607640311 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
/proc/13317/statm: 3495183 31014 3178 1 0 3483484 0
[pid=13317/tid=13318] ppid=13315 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/13317/task/13318/stat : 13318 (java) R 13315 13315 5678 0 -1 4202560 9598 0 0 0 133 4 0 0 20 0 15 0 10754217 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290611878352 140290229785980 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13319] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13319/stat : 13319 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290549586448 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13320] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13320/stat : 13320 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290548533904 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13321] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13321/stat : 13321 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290547480848 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13322] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13322/stat : 13322 (java) S 13315 13315 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290546428304 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13323] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13323/stat : 13323 (java) S 13315 13315 5678 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290153372400 140290607651458 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13324] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13324/stat : 13324 (java) S 13315 13315 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290152318624 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13325] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13325/stat : 13325 (java) S 13315 13315 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290151265520 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13326] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13326/stat : 13326 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754222 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290150214096 140290607658907 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13327] ppid=13315 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/13317/task/13327/stat : 13327 (java) R 13315 13315 5678 0 -1 4202560 10325 0 0 0 97 1 0 0 20 0 15 0 10754222 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290149160384 140290591108423 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13328] ppid=13315 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/13317/task/13328/stat : 13328 (java) R 13315 13315 5678 0 -1 4202560 8477 0 0 0 100 1 0 0 20 0 15 0 10754222 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290148097456 140290591140517 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13329] ppid=13315 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/13317/task/13329/stat : 13329 (java) S 13315 13315 5678 0 -1 1077944384 3611 0 0 0 46 1 0 0 20 0 15 0 10754222 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290147055600 140290607651458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13330] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13330/stat : 13330 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754222 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290146003296 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13331] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13331/stat : 13331 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754226 14316269568 31014 18446744073709551615 4194304 4196468 140731439532480 140290144951344 140290607651458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13317 sig 9
??? kill 13315 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 1.63 1.88 1.91 6/211 13331
/proc/meminfo: memFree=30822580/32770624 swapFree=0/972564
[pid=13315] ppid=13312 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (xcsp3-exec) S 13312 13315 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10754210 9740288 345 18446744073709551615 4194304 5098028 140735913803920 140735913802024 140349233144444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 24154112 140735913808284 140735913808487 140735913808487 140735913811947 0
/proc/13315/statm: 2378 345 289 221 0 87 0
[pid=13317] ppid=13315 vsize=13980732 CPUtime=4.18 cores=1,3,5,7
/proc/13317/stat : 13317 (java) S 13315 13315 5678 0 -1 1077944320 33446 0 0 0 410 8 0 0 20 0 15 0 10754216 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140731439515024 140290607640311 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
/proc/13317/statm: 3495183 31571 3178 1 0 3483484 0
[pid=13317/tid=13318] ppid=13315 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/13317/task/13318/stat : 13318 (java) R 13315 13315 5678 0 -1 4202560 9601 0 0 0 143 4 0 0 20 0 15 0 10754217 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290611876344 140290228936557 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13319] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13319/stat : 13319 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290549586448 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13320] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13320/stat : 13320 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290548533904 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13321] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13321/stat : 13321 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290547480848 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13322] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13322/stat : 13322 (java) S 13315 13315 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290546428304 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13323] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13323/stat : 13323 (java) S 13315 13315 5678 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290153372400 140290607651458 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13324] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13324/stat : 13324 (java) S 13315 13315 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290152318624 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13325] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13325/stat : 13325 (java) S 13315 13315 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290151265520 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13326] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13326/stat : 13326 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754222 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290150214096 140290607658907 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13327] ppid=13315 vsize=13980732 CPUtime=1.08 cores=1,3,5,7
/proc/13317/task/13327/stat : 13327 (java) R 13315 13315 5678 0 -1 4202560 10389 0 0 0 107 1 0 0 20 0 15 0 10754222 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290149147360 140290587326660 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13328] ppid=13315 vsize=13980732 CPUtime=1.11 cores=1,3,5,7
/proc/13317/task/13328/stat : 13328 (java) R 13315 13315 5678 0 -1 4202560 8499 0 0 0 110 1 0 0 20 0 15 0 10754222 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290148094880 140290599929656 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13329] ppid=13315 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/13317/task/13329/stat : 13329 (java) S 13315 13315 5678 0 -1 1077944384 3639 0 0 0 48 1 0 0 20 0 15 0 10754222 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290147055600 140290607651458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13330] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13330/stat : 13330 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754222 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290146003296 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13331] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13331/stat : 13331 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754226 14316269568 31571 18446744073709551615 4194304 4196468 140731439532480 140290144951344 140290607651458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 13990244
[startup+2.00068 s]
/proc/loadavg: 1.63 1.88 1.91 6/211 13331
/proc/meminfo: memFree=30822580/32770624 swapFree=0/972564
[pid=13315] ppid=13312 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13315/stat : 13315 (xcsp3-exec) S 13312 13315 5678 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10754210 9740288 345 18446744073709551615 4194304 5098028 140735913803920 140735913802024 140349233144444 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 24154112 140735913808284 140735913808487 140735913808487 140735913811947 0
/proc/13315/statm: 2378 345 289 221 0 87 0
[pid=13317] ppid=13315 vsize=13980732 CPUtime=5.39 cores=1,3,5,7
/proc/13317/stat : 13317 (java) S 13315 13315 5678 0 -1 1077944320 33728 0 0 0 530 9 0 0 20 0 15 0 10754216 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140731439515024 140290607640311 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
/proc/13317/statm: 3495183 33317 3186 1 0 3483484 0
[pid=13317/tid=13318] ppid=13315 vsize=13980732 CPUtime=1.87 cores=1,3,5,7
/proc/13317/task/13318/stat : 13318 (java) R 13315 13315 5678 0 -1 4202560 9611 0 0 0 183 4 0 0 20 0 15 0 10754217 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290611877248 140290230192840 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13319] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13319/stat : 13319 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290549586448 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13320] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13320/stat : 13320 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290548533904 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13321] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13321/stat : 13321 (java) S 13315 13315 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290547480848 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13322] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13322/stat : 13322 (java) S 13315 13315 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10754217 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290546428304 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13323] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13323/stat : 13323 (java) S 13315 13315 5678 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290153372400 140290607651458 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13324] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13324/stat : 13324 (java) S 13315 13315 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290152318624 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13325] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13325/stat : 13325 (java) S 13315 13315 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10754219 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290151265520 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13326] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13326/stat : 13326 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754222 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290150214096 140290607658907 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13327] ppid=13315 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/13317/task/13327/stat : 13327 (java) R 13315 13315 5678 0 -1 4202560 10461 0 0 0 144 1 0 0 20 0 15 0 10754222 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290149147264 140290587803607 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13328] ppid=13315 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/13317/task/13328/stat : 13328 (java) R 13315 13315 5678 0 -1 4202560 8581 0 0 0 147 1 0 0 20 0 15 0 10754222 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290148094752 140290592748346 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13329] ppid=13315 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/13317/task/13329/stat : 13329 (java) S 13315 13315 5678 0 -1 1077944384 3757 0 0 0 53 1 0 0 20 0 15 0 10754222 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290147055600 140290607651458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13330] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13330/stat : 13330 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754222 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290146003296 140290607650517 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
[pid=13317/tid=13331] ppid=13315 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13317/task/13331/stat : 13331 (java) S 13315 13315 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10754226 14316269568 33317 18446744073709551615 4194304 4196468 140731439532480 140290144951344 140290607651458 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140731439534548 140731439534723 140731439534723 140731439538127 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.09932
CPU time (s): 5.66892
CPU user time (s): 5.56687
CPU system time (s): 0.102041
CPU usage (%): 270.036
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.56687
system time used= 0.102041
maximum resident set size= 135996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2113
involuntary context switches= 22
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011504 second user time and 0.011504 second system time
The end