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-4255020-1501620434/watcher-4255020-1501620434 -o /tmp/evaluation-result-4255020-1501620434/solver-4255020-1501620434 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10799 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 344136949 HOME/instance-4255020-1501620434.xml
pid=12857
running on 4 cores: 0,2,4,6
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: 2.02 1.94 1.80 3/196 12860
/proc/meminfo: memFree=30433396/32770624 swapFree=0/190412
[pid=12860] ppid=12857 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (runsolver) D 12857 12860 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10660399 24240128 108 18446744073709551615 4194304 4338465 140737332433104 140737332430744 139669197189847 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 29093888 140737332441181 140737332441670 140737332441670 140737332445130 0
/proc/12860/statm: 5918 108 54 36 0 2156 0
[startup+0.100119 s]
/proc/loadavg: 2.02 1.94 1.80 3/196 12860
/proc/meminfo: memFree=30433396/32770624 swapFree=0/190412
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200318 s]
/proc/loadavg: 2.02 1.94 1.80 3/196 12860
/proc/meminfo: memFree=30433396/32770624 swapFree=0/190412
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300306 s]
/proc/loadavg: 2.02 1.94 1.80 3/196 12860
/proc/meminfo: memFree=30433396/32770624 swapFree=0/190412
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.708163 s]
/proc/loadavg: 2.02 1.94 1.80 3/196 12860
/proc/meminfo: memFree=30433396/32770624 swapFree=0/190412
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 2.02 1.94 1.80 5/212 12876
/proc/meminfo: memFree=30344520/32770624 swapFree=0/190416
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
[pid=12862] ppid=12860 vsize=13980732 CPUtime=3.58 cores=0,2,4,6
/proc/12862/stat : 12862 (java) S 12860 12860 5123 0 -1 1077944320 24187 0 0 0 351 7 0 0 20 0 15 0 10660409 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140729810246240 140504260083447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
/proc/12862/statm: 3495183 30204 3180 1 0 3483484 0
[pid=12862/tid=12863] ppid=12860 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/12862/task/12863/stat : 12863 (java) R 12860 12860 5123 0 -1 4202560 10266 0 0 0 131 4 0 0 20 0 15 0 10660409 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140504264322120 140503904411366 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12864] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12864/stat : 12864 (java) S 12860 12860 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140504220981648 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12865] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12865/stat : 12865 (java) S 12860 12860 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140504219928848 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12866] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12866/stat : 12866 (java) S 12860 12860 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503857687184 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12867] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12867/stat : 12867 (java) S 12860 12860 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503856634384 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12868] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12868/stat : 12868 (java) S 12860 12860 5123 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503738567280 140504260094594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12869] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12869/stat : 12869 (java) S 12860 12860 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503737513248 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12870] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12870/stat : 12870 (java) S 12860 12860 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10660412 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503736460912 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12871] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12871/stat : 12871 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503735409232 140504260102043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12872] ppid=12860 vsize=13980732 CPUtime=0.87 cores=0,2,4,6
/proc/12862/task/12872/stat : 12872 (java) R 12860 12860 5123 0 -1 4202560 4951 0 0 0 87 0 0 0 20 0 15 0 10660414 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503734347120 140504241646417 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12873] ppid=12860 vsize=13980732 CPUtime=0.86 cores=0,2,4,6
/proc/12862/task/12873/stat : 12873 (java) R 12860 12860 5123 0 -1 4202560 4418 0 0 0 85 1 0 0 20 0 15 0 10660414 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503733292752 140504243972090 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12874] ppid=12860 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/12862/task/12874/stat : 12874 (java) S 12860 12860 5123 0 -1 1077944384 3204 0 0 0 47 1 0 0 20 0 15 0 10660414 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503732250992 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12875] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12875/stat : 12875 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503731198432 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12876] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12876/stat : 12876 (java) S 12860 12860 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10660418 14316269568 30204 18446744073709551615 4194304 4196468 140729810263696 140503730146224 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 13990244
[startup+3.10065 s]
/proc/loadavg: 2.02 1.94 1.80 3/212 12876
/proc/meminfo: memFree=30278864/32770624 swapFree=0/190416
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
[pid=12862] ppid=12860 vsize=13980732 CPUtime=6.01 cores=0,2,4,6
/proc/12862/stat : 12862 (java) S 12860 12860 5123 0 -1 1077944320 25674 0 0 0 591 10 0 0 20 0 15 0 10660409 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140729810246240 140504260083447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
/proc/12862/statm: 3495183 50404 3205 1 0 3483484 0
[pid=12862/tid=12863] ppid=12860 vsize=13980732 CPUtime=2.93 cores=0,2,4,6
/proc/12862/task/12863/stat : 12863 (java) R 12860 12860 5123 0 -1 4202560 10411 0 0 0 288 5 0 0 20 0 15 0 10660409 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140504264322640 140503904499551 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12864] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12864/stat : 12864 (java) S 12860 12860 5123 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140504220981648 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12865] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12865/stat : 12865 (java) S 12860 12860 5123 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140504219928848 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12866] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12866/stat : 12866 (java) S 12860 12860 5123 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503857687184 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12867] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12867/stat : 12867 (java) S 12860 12860 5123 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503856634384 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12868] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12868/stat : 12868 (java) S 12860 12860 5123 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503738567280 140504260094594 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12869] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12869/stat : 12869 (java) S 12860 12860 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503737513248 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12870] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12870/stat : 12870 (java) S 12860 12860 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10660412 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503736460912 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12871] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12871/stat : 12871 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503735409232 140504260102043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12872] ppid=12860 vsize=13980732 CPUtime=1.24 cores=0,2,4,6
/proc/12862/task/12872/stat : 12872 (java) S 12860 12860 5123 0 -1 1077944384 5064 0 0 0 124 0 0 0 20 0 15 0 10660414 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503734356080 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12873] ppid=12860 vsize=13980732 CPUtime=1.23 cores=0,2,4,6
/proc/12862/task/12873/stat : 12873 (java) S 12860 12860 5123 0 -1 1077944384 4574 0 0 0 122 1 0 0 20 0 15 0 10660414 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503733303280 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12874] ppid=12860 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/12862/task/12874/stat : 12874 (java) S 12860 12860 5123 0 -1 1077944384 3615 0 0 0 52 1 0 0 20 0 15 0 10660414 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503732250992 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12875] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12875/stat : 12875 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503731198432 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12876] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12876/stat : 12876 (java) S 12860 12860 5123 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 10660418 14316269568 50404 18446744073709551615 4194304 4196468 140729810263696 140503730146224 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 13990244
[startup+6.30217 s]
/proc/loadavg: 2.02 1.94 1.80 3/212 12876
/proc/meminfo: memFree=30221856/32770624 swapFree=0/190428
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
[pid=12862] ppid=12860 vsize=13980732 CPUtime=10.25 cores=0,2,4,6
/proc/12862/stat : 12862 (java) S 12860 12860 5123 0 -1 1077944320 26034 0 0 0 1013 12 0 0 20 0 15 0 10660409 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140729810246240 140504260083447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
/proc/12862/statm: 3495183 52354 3208 1 0 3483484 0
[pid=12862/tid=12863] ppid=12860 vsize=13980732 CPUtime=6.13 cores=0,2,4,6
/proc/12862/task/12863/stat : 12863 (java) R 12860 12860 5123 0 -1 4202560 10444 0 0 0 607 6 0 0 20 0 15 0 10660409 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140504264319920 140503904499437 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12864] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12864/stat : 12864 (java) S 12860 12860 5123 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140504220981648 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12865] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12865/stat : 12865 (java) S 12860 12860 5123 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140504219928848 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12866] ppid=12860 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/12862/task/12866/stat : 12866 (java) S 12860 12860 5123 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 10660410 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503857687184 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12867] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12867/stat : 12867 (java) S 12860 12860 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10660410 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503856634384 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12868] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12868/stat : 12868 (java) S 12860 12860 5123 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503738567280 140504260094594 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12869] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12869/stat : 12869 (java) S 12860 12860 5123 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503737513248 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12870] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12870/stat : 12870 (java) S 12860 12860 5123 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 10660412 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503736460912 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12871] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12871/stat : 12871 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503735409232 140504260102043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12872] ppid=12860 vsize=13980732 CPUtime=1.69 cores=0,2,4,6
/proc/12862/task/12872/stat : 12872 (java) R 12860 12860 5123 0 -1 4202560 5147 0 0 0 169 0 0 0 20 0 15 0 10660414 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503734356376 140504241611204 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12873] ppid=12860 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/12862/task/12873/stat : 12873 (java) S 12860 12860 5123 0 -1 1077944384 4695 0 0 0 173 1 0 0 20 0 15 0 10660414 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503733303280 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12874] ppid=12860 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/12862/task/12874/stat : 12874 (java) S 12860 12860 5123 0 -1 1077944384 3698 0 0 0 58 1 0 0 20 0 15 0 10660414 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503732250992 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12875] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12875/stat : 12875 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503731198432 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12876] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12876/stat : 12876 (java) S 12860 12860 5123 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10660418 14316269568 52354 18446744073709551615 4194304 4196468 140729810263696 140503730146224 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
Current children cumulated CPU time (s) 10.25
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.10 1.96 1.80 3/212 12877
/proc/meminfo: memFree=30163924/32770624 swapFree=0/190436
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
[pid=12862] ppid=12860 vsize=13980732 CPUtime=16.93 cores=0,2,4,6
/proc/12862/stat : 12862 (java) S 12860 12860 5123 0 -1 1077944320 31525 0 0 0 1676 17 0 0 20 0 15 0 10660409 14316269568 62319 18446744073709551615 4194304 4196468 140729810263696 140729810246240 140504260083447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
/proc/12862/statm: 3495183 62319 3221 1 0 3483484 0
[pid=12862/tid=12863] ppid=12860 vsize=13980732 CPUtime=12.48 cores=0,2,4,6
/proc/12862/task/12863/stat : 12863 (java) R 12860 12860 5123 0 -1 4202560 11503 0 0 0 1242 6 0 0 20 0 15 0 10660409 14316269568 62319 18446744073709551615 4194304 4196468 140729810263696 140504264319840 140503906384594 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12864] ppid=12860 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/12862/task/12864/stat : 12864 (java) S 12860 12860 5123 0 -1 1077944384 937 0 0 0 3 1 0 0 20 0 15 0 10660410 14316269568 62319 18446744073709551615 4194304 4196468 140729810263696 140504220981648 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12865] ppid=12860 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12862/task/12865/stat : 12865 (java) S 12860 12860 5123 0 -1 1077944384 277 0 0 0 4 1 0 0 20 0 15 0 10660410 14316269568 62319 18446744073709551615 4194304 4196468 140729810263696 140504219928848 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
################
# More data... #
################
[pid=12862/tid=12869] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12869/stat : 12869 (java) S 12860 12860 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503737513312 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12870] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12870/stat : 12870 (java) S 12860 12860 5123 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10660412 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503736460928 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12871] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12871/stat : 12871 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503735409232 140504260102043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12872] ppid=12860 vsize=13980732 CPUtime=2.65 cores=0,2,4,6
/proc/12862/task/12872/stat : 12872 (java) S 12860 12860 5123 0 -1 1077944384 12622 0 0 0 264 1 0 0 20 0 15 0 10660414 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503734356080 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12873] ppid=12860 vsize=13980732 CPUtime=2.87 cores=0,2,4,6
/proc/12862/task/12873/stat : 12873 (java) S 12860 12860 5123 0 -1 1077944384 12241 0 0 0 285 2 0 0 20 0 15 0 10660414 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503733303280 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12874] ppid=12860 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/12862/task/12874/stat : 12874 (java) S 12860 12860 5123 0 -1 1077944384 8698 0 0 0 75 1 0 0 20 0 15 0 10660414 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503732250992 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12875] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12875/stat : 12875 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503731198432 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12876] ppid=12860 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/12862/task/12876/stat : 12876 (java) S 12860 12860 5123 0 -1 1077944384 355 0 0 0 2 3 0 0 20 0 15 0 10660418 14316269568 65135 18446744073709551615 4194304 4196468 140729810263696 140503730146224 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
Current children cumulated CPU time (s) 109.28
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.78 1.88 1.80 3/211 12959
/proc/meminfo: memFree=31291236/32770624 swapFree=0/190564
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
[pid=12862] ppid=12860 vsize=13980732 CPUtime=170.3 cores=0,2,4,6
/proc/12862/stat : 12862 (java) S 12860 12860 5123 0 -1 1077944320 64151 0 0 0 16989 41 0 0 20 0 15 0 10660409 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140729810246240 140504260083447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
/proc/12862/statm: 3495183 67910 3228 1 0 3483484 0
[pid=12862/tid=12863] ppid=12860 vsize=13980732 CPUtime=161.55 cores=0,2,4,6
/proc/12862/task/12863/stat : 12863 (java) R 12860 12860 5123 0 -1 4202560 16939 0 0 0 16148 7 0 0 20 0 15 0 10660409 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140504264322720 140503905671379 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12864] ppid=12860 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/12862/task/12864/stat : 12864 (java) S 12860 12860 5123 0 -1 1077944384 2336 0 0 0 43 5 0 0 20 0 15 0 10660410 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140504220981648 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12865] ppid=12860 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/12862/task/12865/stat : 12865 (java) S 12860 12860 5123 0 -1 1077944384 1103 0 0 0 43 5 0 0 20 0 15 0 10660410 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140504219928848 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12866] ppid=12860 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/12862/task/12866/stat : 12866 (java) S 12860 12860 5123 0 -1 1077944384 625 0 0 0 43 5 0 0 20 0 15 0 10660410 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503857687184 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12867] ppid=12860 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/12862/task/12867/stat : 12867 (java) S 12860 12860 5123 0 -1 1077944384 1876 0 0 0 43 6 0 0 20 0 15 0 10660410 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503856634384 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12868] ppid=12860 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12862/task/12868/stat : 12868 (java) S 12860 12860 5123 0 -1 1077944384 1442 0 0 0 5 1 0 0 20 0 15 0 10660411 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503738567280 140504260094594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12869] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12869/stat : 12869 (java) S 12860 12860 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503737513312 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12870] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12870/stat : 12870 (java) S 12860 12860 5123 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10660412 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503736460928 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12871] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12871/stat : 12871 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503735409232 140504260102043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12872] ppid=12860 vsize=13980732 CPUtime=2.78 cores=0,2,4,6
/proc/12862/task/12872/stat : 12872 (java) S 12860 12860 5123 0 -1 1077944384 14105 0 0 0 277 1 0 0 20 0 15 0 10660414 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503734356080 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12873] ppid=12860 vsize=13980732 CPUtime=3.04 cores=0,2,4,6
/proc/12862/task/12873/stat : 12873 (java) S 12860 12860 5123 0 -1 1077944384 14984 0 0 0 302 2 0 0 20 0 15 0 10660414 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503733303280 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12874] ppid=12860 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/12862/task/12874/stat : 12874 (java) S 12860 12860 5123 0 -1 1077944384 8819 0 0 0 75 1 0 0 20 0 15 0 10660414 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503732250992 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12875] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12875/stat : 12875 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503731198432 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12876] ppid=12860 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/12862/task/12876/stat : 12876 (java) S 12860 12860 5123 0 -1 1077944384 544 0 0 0 4 4 0 0 20 0 15 0 10660418 14316269568 67910 18446744073709551615 4194304 4196468 140729810263696 140503730146224 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
Current children cumulated CPU time (s) 170.3
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.71 1.84 1.79 3/211 12961
/proc/meminfo: memFree=31233696/32770624 swapFree=0/190592
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
[pid=12862] ppid=12860 vsize=13980732 CPUtime=231.25 cores=0,2,4,6
/proc/12862/stat : 12862 (java) S 12860 12860 5123 0 -1 1077944320 68628 0 0 0 23076 49 0 0 20 0 15 0 10660409 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140729810246240 140504260083447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
/proc/12862/statm: 3495183 74168 3229 1 0 3483484 0
[pid=12862/tid=12863] ppid=12860 vsize=13980732 CPUtime=221.25 cores=0,2,4,6
/proc/12862/task/12863/stat : 12863 (java) R 12860 12860 5123 0 -1 4202560 17760 0 0 0 22118 7 0 0 20 0 15 0 10660409 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140504264322544 140503903757499 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12864] ppid=12860 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/12862/task/12864/stat : 12864 (java) S 12860 12860 5123 0 -1 1077944384 2513 0 0 0 68 7 0 0 20 0 15 0 10660410 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140504220981648 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12865] ppid=12860 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/12862/task/12865/stat : 12865 (java) S 12860 12860 5123 0 -1 1077944384 1538 0 0 0 68 7 0 0 20 0 15 0 10660410 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140504219928848 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12866] ppid=12860 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/12862/task/12866/stat : 12866 (java) S 12860 12860 5123 0 -1 1077944384 717 0 0 0 68 7 0 0 20 0 15 0 10660410 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503857687184 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12867] ppid=12860 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/12862/task/12867/stat : 12867 (java) S 12860 12860 5123 0 -1 1077944384 1930 0 0 0 67 7 0 0 20 0 15 0 10660410 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503856634384 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12868] ppid=12860 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/12862/task/12868/stat : 12868 (java) S 12860 12860 5123 0 -1 1077944384 1682 0 0 0 7 2 0 0 20 0 15 0 10660411 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503738567280 140504260094594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12869] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12869/stat : 12869 (java) S 12860 12860 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503737513312 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12870] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12870/stat : 12870 (java) S 12860 12860 5123 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10660412 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503736460928 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12871] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12871/stat : 12871 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503735409232 140504260102043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12872] ppid=12860 vsize=13980732 CPUtime=2.79 cores=0,2,4,6
/proc/12862/task/12872/stat : 12872 (java) S 12860 12860 5123 0 -1 1077944384 14664 0 0 0 278 1 0 0 20 0 15 0 10660414 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503734356080 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12873] ppid=12860 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/12862/task/12873/stat : 12873 (java) S 12860 12860 5123 0 -1 1077944384 17009 0 0 0 316 2 0 0 20 0 15 0 10660414 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503733303280 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12874] ppid=12860 vsize=13980732 CPUtime=0.76 cores=0,2,4,6
/proc/12862/task/12874/stat : 12874 (java) S 12860 12860 5123 0 -1 1077944384 8822 0 0 0 75 1 0 0 20 0 15 0 10660414 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503732250992 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12875] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12875/stat : 12875 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503731198432 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12876] ppid=12860 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/12862/task/12876/stat : 12876 (java) S 12860 12860 5123 0 -1 1077944384 615 0 0 0 5 6 0 0 20 0 15 0 10660418 14316269568 74168 18446744073709551615 4194304 4196468 140729810263696 140503730146224 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
Current children cumulated CPU time (s) 231.25
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.65 1.82 1.78 3/211 12961
/proc/meminfo: memFree=31220204/32770624 swapFree=0/190600
[pid=12860] ppid=12857 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12860/stat : 12860 (xcsp3-exec) S 12857 12860 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10660399 9740288 345 18446744073709551615 4194304 5098028 140736894675040 140736894673144 140148141023868 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 40116224 140736894681500 140736894681703 140736894681703 140736894685163 0
/proc/12860/statm: 2378 345 289 221 0 87 0
[pid=12862] ppid=12860 vsize=13980732 CPUtime=249.14 cores=0,2,4,6
/proc/12862/stat : 12862 (java) S 12860 12860 5123 0 -1 1077944320 69954 0 0 0 24864 50 0 0 20 0 15 0 10660409 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140729810246240 140504260083447 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
/proc/12862/statm: 3495183 75449 3230 1 0 3483484 0
[pid=12862/tid=12863] ppid=12860 vsize=13980732 CPUtime=238.88 cores=0,2,4,6
/proc/12862/task/12863/stat : 12863 (java) R 12860 12860 5123 0 -1 4202560 17948 0 0 0 23881 7 0 0 20 0 15 0 10660409 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140504264320536 140503905671294 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12864] ppid=12860 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/12862/task/12864/stat : 12864 (java) S 12860 12860 5123 0 -1 1077944384 2516 0 0 0 73 7 0 0 20 0 15 0 10660410 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140504220981648 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12865] ppid=12860 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/12862/task/12865/stat : 12865 (java) S 12860 12860 5123 0 -1 1077944384 1544 0 0 0 73 7 0 0 20 0 15 0 10660410 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140504219928848 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12866] ppid=12860 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/12862/task/12866/stat : 12866 (java) S 12860 12860 5123 0 -1 1077944384 725 0 0 0 73 7 0 0 20 0 15 0 10660410 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503857687184 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12867] ppid=12860 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/12862/task/12867/stat : 12867 (java) S 12860 12860 5123 0 -1 1077944384 1936 0 0 0 73 7 0 0 20 0 15 0 10660410 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503856634384 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12868] ppid=12860 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/12862/task/12868/stat : 12868 (java) S 12860 12860 5123 0 -1 1077944384 1682 0 0 0 7 2 0 0 20 0 15 0 10660411 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503738567280 140504260094594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12869] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12869/stat : 12869 (java) S 12860 12860 5123 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 10660411 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503737513312 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12870] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12870/stat : 12870 (java) S 12860 12860 5123 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 10660412 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503736460928 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12871] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12871/stat : 12871 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503735409232 140504260102043 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12872] ppid=12860 vsize=13980732 CPUtime=2.8 cores=0,2,4,6
/proc/12862/task/12872/stat : 12872 (java) S 12860 12860 5123 0 -1 1077944384 15103 0 0 0 279 1 0 0 20 0 15 0 10660414 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503734356080 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12873] ppid=12860 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/12862/task/12873/stat : 12873 (java) S 12860 12860 5123 0 -1 1077944384 17157 0 0 0 316 2 0 0 20 0 15 0 10660414 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503733303280 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12874] ppid=12860 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/12862/task/12874/stat : 12874 (java) S 12860 12860 5123 0 -1 1077944384 9345 0 0 0 76 1 0 0 20 0 15 0 10660414 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503732250992 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12875] ppid=12860 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12862/task/12875/stat : 12875 (java) S 12860 12860 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10660414 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503731198432 140504260093653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
[pid=12862/tid=12876] ppid=12860 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/12862/task/12876/stat : 12876 (java) S 12860 12860 5123 0 -1 1077944384 620 0 0 0 6 6 0 0 20 0 15 0 10660418 14316269568 75449 18446744073709551615 4194304 4196468 140729810263696 140503730146224 140504260094594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16437248 140729810268628 140729810268803 140729810268803 140729810272207 0
Current children cumulated CPU time (s) 249.14
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12862 sig 9
??? kill 12860 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12860 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1853
# CPU time returned by wait4() is 0.001853
# while last known CPU time is 249.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 249.14
CPU user time (s): 248.64
CPU system time (s): 0.5
CPU usage (%): 103.804
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001853
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.187 second user time and 1.55229 second system time
The end