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-4254894-1501622690/watcher-4254894-1501622690 -o /tmp/evaluation-result-4254894-1501622690/solver-4254894-1501622690 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1667466144 HOME/instance-4254894-1501622690.xml
pid=14663
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: 2.04 1.92 1.83 4/200 14666
/proc/meminfo: memFree=31488836/32770624 swapFree=0/191116
[pid=14666] ppid=14663 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (runsolver) D 14663 14666 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10084373 24240128 106 18446744073709551615 4194304 4338465 140727583177152 140727583174792 139823943701207 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 17186816 140727583178844 140727583179334 140727583179334 140727583182794 0
/proc/14666/statm: 5918 106 53 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 2.04 1.92 1.83 4/200 14666
/proc/meminfo: memFree=31488836/32770624 swapFree=0/191116
[pid=14666] ppid=14663 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (runsolver) D 14663 14666 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10084373 24240128 106 18446744073709551615 4194304 4338465 140727583177152 140727583174792 139823943701207 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 17186816 140727583178844 140727583179334 140727583179334 140727583182794 0
/proc/14666/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200319 s]
/proc/loadavg: 2.04 1.92 1.83 4/200 14666
/proc/meminfo: memFree=31488836/32770624 swapFree=0/191116
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300861 s]
/proc/loadavg: 2.04 1.92 1.83 4/200 14666
/proc/meminfo: memFree=31488836/32770624 swapFree=0/191116
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700176 s]
/proc/loadavg: 2.04 1.92 1.83 4/200 14666
/proc/meminfo: memFree=31488836/32770624 swapFree=0/191116
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 2.04 1.92 1.83 6/216 14682
/proc/meminfo: memFree=31330492/32770624 swapFree=0/191148
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
[pid=14668] ppid=14666 vsize=13982500 CPUtime=3.67 cores=1,3,5,7
/proc/14668/stat : 14668 (java) S 14666 14666 5228 0 -1 1077944320 24975 0 0 0 357 10 0 0 20 0 15 0 10084384 14318080000 48934 18446744073709551615 4194304 4196468 140733340192832 140733340175376 140002673037047 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
/proc/14668/statm: 3495625 48934 3181 1 0 3483926 0
[pid=14668/tid=14669] ppid=14666 vsize=13982500 CPUtime=1.32 cores=1,3,5,7
/proc/14668/task/14669/stat : 14669 (java) R 14666 14666 5228 0 -1 4202560 8817 0 0 0 126 6 0 0 20 0 15 0 10084384 14318080000 48934 18446744073709551615 4194304 4196468 140733340192832 140002677271008 140002673048982 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14670] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14670/stat : 14670 (java) S 14666 14666 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10084385 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140002592451216 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14671] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14671/stat : 14671 (java) S 14666 14666 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10084385 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140002591398416 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14672] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14672/stat : 14672 (java) S 14666 14666 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10084385 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140002590345616 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14673] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14673/stat : 14673 (java) S 14666 14666 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10084385 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140002589292816 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14674] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14674/stat : 14674 (java) S 14666 14666 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10084386 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001589066608 140002673048194 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14675] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14675/stat : 14675 (java) S 14666 14666 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10084386 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001588012576 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14676] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14676/stat : 14676 (java) S 14666 14666 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10084387 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001586959728 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14677] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14677/stat : 14677 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001585908048 140002673055643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14678] ppid=14666 vsize=13982500 CPUtime=0.95 cores=1,3,5,7
/proc/14668/task/14678/stat : 14678 (java) R 14666 14666 5228 0 -1 4202560 7140 0 0 0 94 1 0 0 20 0 15 0 10084389 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001584841568 140002658147705 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14679] ppid=14666 vsize=13982500 CPUtime=0.97 cores=1,3,5,7
/proc/14668/task/14679/stat : 14679 (java) R 14666 14666 5228 0 -1 4202560 5219 0 0 0 97 0 0 0 20 0 15 0 10084389 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001583783624 140002665326496 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14680] ppid=14666 vsize=13982500 CPUtime=0.39 cores=1,3,5,7
/proc/14668/task/14680/stat : 14680 (java) S 14666 14666 5228 0 -1 1077944384 2526 0 0 0 38 1 0 0 20 0 15 0 10084389 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001582749808 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14681] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14681/stat : 14681 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001581697248 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14682] ppid=14666 vsize=13982500 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14682/stat : 14682 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084394 14318080000 49000 18446744073709551615 4194304 4196468 140733340192832 140001580645552 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 13992012
[startup+3.10071 s]
/proc/loadavg: 2.12 1.94 1.84 3/216 14682
/proc/meminfo: memFree=31277068/32770624 swapFree=0/191148
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
[pid=14668] ppid=14666 vsize=13980732 CPUtime=5.96 cores=1,3,5,7
/proc/14668/stat : 14668 (java) S 14666 14666 5228 0 -1 1077944320 28953 0 0 0 584 12 0 0 20 0 15 0 10084384 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140733340175376 140002673037047 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
/proc/14668/statm: 3495183 55894 3188 1 0 3483484 0
[pid=14668/tid=14669] ppid=14666 vsize=13980732 CPUtime=2.91 cores=1,3,5,7
/proc/14668/task/14669/stat : 14669 (java) R 14666 14666 5228 0 -1 4202560 9232 0 0 0 285 6 0 0 20 0 15 0 10084384 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140002677276576 140002264911322 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14670] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14670/stat : 14670 (java) S 14666 14666 5228 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140002592451216 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14671] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14671/stat : 14671 (java) S 14666 14666 5228 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140002591398416 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14672] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14672/stat : 14672 (java) S 14666 14666 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140002590345616 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14673] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14673/stat : 14673 (java) S 14666 14666 5228 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140002589292816 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14674] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14674/stat : 14674 (java) S 14666 14666 5228 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001589066608 140002673048194 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14675] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14675/stat : 14675 (java) S 14666 14666 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001588012576 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14676] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14676/stat : 14676 (java) S 14666 14666 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10084387 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001586959728 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14677] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14677/stat : 14677 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001585908048 140002673055643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14678] ppid=14666 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/14668/task/14678/stat : 14678 (java) S 14666 14666 5228 0 -1 1077944384 8549 0 0 0 118 1 0 0 20 0 15 0 10084389 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001584855408 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14679] ppid=14666 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/14668/task/14679/stat : 14679 (java) S 14666 14666 5228 0 -1 1077944384 6535 0 0 0 135 0 0 0 20 0 15 0 10084389 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001583802608 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14680] ppid=14666 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/14668/task/14680/stat : 14680 (java) S 14666 14666 5228 0 -1 1077944384 2804 0 0 0 41 1 0 0 20 0 15 0 10084389 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001582749808 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14681] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14681/stat : 14681 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001581697248 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14682] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14682/stat : 14682 (java) S 14666 14666 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10084394 14316269568 55894 18446744073709551615 4194304 4196468 140733340192832 140001580645552 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 2.12 1.94 1.84 4/216 14682
/proc/meminfo: memFree=31280400/32770624 swapFree=0/191156
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
[pid=14668] ppid=14666 vsize=13980732 CPUtime=9.7 cores=1,3,5,7
/proc/14668/stat : 14668 (java) S 14666 14666 5228 0 -1 1077944320 32573 0 0 0 957 13 0 0 20 0 15 0 10084384 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140733340175376 140002673037047 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
/proc/14668/statm: 3495183 55199 3204 1 0 3483484 0
[pid=14668/tid=14669] ppid=14666 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/14668/task/14669/stat : 14669 (java) R 14666 14666 5228 0 -1 4202560 9434 0 0 0 605 6 0 0 20 0 15 0 10084384 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140002677272624 140002264668777 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14670] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14670/stat : 14670 (java) S 14666 14666 5228 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140002592451216 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14671] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14671/stat : 14671 (java) S 14666 14666 5228 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140002591398416 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14672] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14672/stat : 14672 (java) S 14666 14666 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140002590345616 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14673] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14673/stat : 14673 (java) S 14666 14666 5228 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10084385 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140002589292816 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14674] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14674/stat : 14674 (java) S 14666 14666 5228 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001589066608 140002673048194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14675] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14675/stat : 14675 (java) S 14666 14666 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001588012576 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14676] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14676/stat : 14676 (java) S 14666 14666 5228 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10084387 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001586959728 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14677] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14677/stat : 14677 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001585908048 140002673055643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14678] ppid=14666 vsize=13980732 CPUtime=1.31 cores=1,3,5,7
/proc/14668/task/14678/stat : 14678 (java) S 14666 14666 5228 0 -1 1077944384 8782 0 0 0 130 1 0 0 20 0 15 0 10084389 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001584855408 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14679] ppid=14666 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/14668/task/14679/stat : 14679 (java) S 14666 14666 5228 0 -1 1077944384 9636 0 0 0 176 1 0 0 20 0 15 0 10084389 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001583802608 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14680] ppid=14666 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/14668/task/14680/stat : 14680 (java) S 14666 14666 5228 0 -1 1077944384 2836 0 0 0 42 1 0 0 20 0 15 0 10084389 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001582749808 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14681] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14681/stat : 14681 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001581697248 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14682] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14682/stat : 14682 (java) S 14666 14666 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10084394 14316269568 55199 18446744073709551615 4194304 4196468 140733340192832 140001580645552 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
Current children cumulated CPU time (s) 9.7
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.10 1.94 1.84 4/216 14682
/proc/meminfo: memFree=31262156/32770624 swapFree=0/191164
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
[pid=14668] ppid=14666 vsize=13980732 CPUtime=16.52 cores=1,3,5,7
/proc/14668/stat : 14668 (java) S 14666 14666 5228 0 -1 1077944320 36036 0 0 0 1636 16 0 0 20 0 15 0 10084384 14316269568 59298 18446744073709551615 4194304 4196468 140733340192832 140733340175376 140002673037047 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
/proc/14668/statm: 3495183 59298 3213 1 0 3483484 0
[pid=14668/tid=14669] ppid=14666 vsize=13980732 CPUtime=12.5 cores=1,3,5,7
/proc/14668/task/14669/stat : 14669 (java) R 14666 14666 5228 0 -1 4202560 9904 0 0 0 1243 7 0 0 20 0 15 0 10084384 14316269568 59298 18446744073709551615 4194304 4196468 140733340192832 140002677272704 140002264910124 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14670] ppid=14666 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14668/task/14670/stat : 14670 (java) S 14666 14666 5228 0 -1 1077944384 116 0 0 0 0 1 0 0 20 0 15 0 10084385 14316269568 59298 18446744073709551615 4194304 4196468 140733340192832 140002592451216 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14671] ppid=14666 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/14668/task/14671/stat : 14671 (java) S 14666 14666 5228 0 -1 1077944384 658 0 0 0 1 1 0 0 20 0 15 0 10084385 14316269568 59298 18446744073709551615 4194304 4196468 140733340192832 140002591398416 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
################
# More data... #
################
[pid=14668/tid=14675] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14675/stat : 14675 (java) S 14666 14666 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001588012640 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14676] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14676/stat : 14676 (java) S 14666 14666 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10084387 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001586959744 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14677] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14677/stat : 14677 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001585908048 140002673055643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14678] ppid=14666 vsize=13980732 CPUtime=3.48 cores=1,3,5,7
/proc/14668/task/14678/stat : 14678 (java) S 14666 14666 5228 0 -1 1077944384 17987 0 0 0 345 3 0 0 20 0 15 0 10084389 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001584855408 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14679] ppid=14666 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/14668/task/14679/stat : 14679 (java) S 14666 14666 5228 0 -1 1077944384 17141 0 0 0 377 2 0 0 20 0 15 0 10084389 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001583802608 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14680] ppid=14666 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/14668/task/14680/stat : 14680 (java) S 14666 14666 5228 0 -1 1077944384 6895 0 0 0 68 2 0 0 20 0 15 0 10084389 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001582749808 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14681] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14681/stat : 14681 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001581697248 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14682] ppid=14666 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/14668/task/14682/stat : 14682 (java) S 14666 14666 5228 0 -1 1077944384 886 0 0 0 2 3 0 0 20 0 15 0 10084394 14316269568 73179 18446744073709551615 4194304 4196468 140733340192832 140001580645552 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
Current children cumulated CPU time (s) 110.58
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.90 1.91 1.85 4/214 14765
/proc/meminfo: memFree=31529776/32770624 swapFree=0/191372
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
[pid=14668] ppid=14666 vsize=13980732 CPUtime=171.42 cores=1,3,5,7
/proc/14668/stat : 14668 (java) S 14666 14666 5228 0 -1 1077944320 71628 0 0 0 17102 40 0 0 20 0 15 0 10084384 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140733340175376 140002673037047 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
/proc/14668/statm: 3495183 60527 3226 1 0 3483484 0
[pid=14668/tid=14669] ppid=14666 vsize=13980732 CPUtime=161.88 cores=1,3,5,7
/proc/14668/task/14669/stat : 14669 (java) R 14666 14666 5228 0 -1 4202560 14306 0 0 0 16180 8 0 0 20 0 15 0 10084384 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140002677275664 140002264910124 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14670] ppid=14666 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/14668/task/14670/stat : 14670 (java) S 14666 14666 5228 0 -1 1077944384 519 0 0 0 11 5 0 0 20 0 15 0 10084385 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140002592451216 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14671] ppid=14666 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/14668/task/14671/stat : 14671 (java) S 14666 14666 5228 0 -1 1077944384 2254 0 0 0 11 5 0 0 20 0 15 0 10084385 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140002591398416 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14672] ppid=14666 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/14668/task/14672/stat : 14672 (java) S 14666 14666 5228 0 -1 1077944384 1945 0 0 0 12 4 0 0 20 0 15 0 10084385 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140002590345616 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14673] ppid=14666 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/14668/task/14673/stat : 14673 (java) S 14666 14666 5228 0 -1 1077944384 701 0 0 0 11 5 0 0 20 0 15 0 10084385 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140002589292816 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14674] ppid=14666 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/14668/task/14674/stat : 14674 (java) S 14666 14666 5228 0 -1 1077944384 1169 0 0 0 3 1 0 0 20 0 15 0 10084386 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001589066608 140002673048194 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14675] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14675/stat : 14675 (java) S 14666 14666 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001588012640 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14676] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14676/stat : 14676 (java) S 14666 14666 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10084387 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001586959744 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14677] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14677/stat : 14677 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001585908048 140002673055643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14678] ppid=14666 vsize=13980732 CPUtime=3.83 cores=1,3,5,7
/proc/14668/task/14678/stat : 14678 (java) S 14666 14666 5228 0 -1 1077944384 20771 0 0 0 380 3 0 0 20 0 15 0 10084389 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001584855408 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14679] ppid=14666 vsize=13980732 CPUtime=4.13 cores=1,3,5,7
/proc/14668/task/14679/stat : 14679 (java) S 14666 14666 5228 0 -1 1077944384 19704 0 0 0 411 2 0 0 20 0 15 0 10084389 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001583802608 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14680] ppid=14666 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/14668/task/14680/stat : 14680 (java) S 14666 14666 5228 0 -1 1077944384 7973 0 0 0 71 2 0 0 20 0 15 0 10084389 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001582749808 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14681] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14681/stat : 14681 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001581697248 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14682] ppid=14666 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/14668/task/14682/stat : 14682 (java) S 14666 14666 5228 0 -1 1077944384 908 0 0 0 4 4 0 0 20 0 15 0 10084394 14316269568 60527 18446744073709551615 4194304 4196468 140733340192832 140001580645552 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
Current children cumulated CPU time (s) 171.42
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.49 1.80 1.82 3/214 14767
/proc/meminfo: memFree=31584268/32770624 swapFree=0/191412
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
[pid=14668] ppid=14666 vsize=13980732 CPUtime=231.69 cores=1,3,5,7
/proc/14668/stat : 14668 (java) S 14666 14666 5228 0 -1 1077944320 75537 0 0 0 23126 43 0 0 20 0 15 0 10084384 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140733340175376 140002673037047 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
/proc/14668/statm: 3495183 58086 3226 1 0 3483484 0
[pid=14668/tid=14669] ppid=14666 vsize=13980732 CPUtime=221.8 cores=1,3,5,7
/proc/14668/task/14669/stat : 14669 (java) R 14666 14666 5228 0 -1 4202560 14963 0 0 0 22172 8 0 0 20 0 15 0 10084384 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140002677275856 140002267164375 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14670] ppid=14666 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/14668/task/14670/stat : 14670 (java) S 14666 14666 5228 0 -1 1077944384 631 0 0 0 15 5 0 0 20 0 15 0 10084385 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140002592451216 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14671] ppid=14666 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/14668/task/14671/stat : 14671 (java) S 14666 14666 5228 0 -1 1077944384 2297 0 0 0 15 5 0 0 20 0 15 0 10084385 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140002591398416 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14672] ppid=14666 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/14668/task/14672/stat : 14672 (java) S 14666 14666 5228 0 -1 1077944384 1961 0 0 0 15 5 0 0 20 0 15 0 10084385 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140002590345616 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14673] ppid=14666 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/14668/task/14673/stat : 14673 (java) S 14666 14666 5228 0 -1 1077944384 822 0 0 0 14 5 0 0 20 0 15 0 10084385 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140002589292816 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14674] ppid=14666 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14668/task/14674/stat : 14674 (java) S 14666 14666 5228 0 -1 1077944384 1386 0 0 0 6 1 0 0 20 0 15 0 10084386 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001589066608 140002673048194 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14675] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14675/stat : 14675 (java) S 14666 14666 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001588012640 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14676] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14676/stat : 14676 (java) S 14666 14666 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10084387 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001586959744 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14677] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14677/stat : 14677 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001585908048 140002673055643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14678] ppid=14666 vsize=13980732 CPUtime=3.92 cores=1,3,5,7
/proc/14668/task/14678/stat : 14678 (java) S 14666 14666 5228 0 -1 1077944384 22223 0 0 0 389 3 0 0 20 0 15 0 10084389 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001584855408 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14679] ppid=14666 vsize=13980732 CPUtime=4.18 cores=1,3,5,7
/proc/14668/task/14679/stat : 14679 (java) S 14666 14666 5228 0 -1 1077944384 20951 0 0 0 416 2 0 0 20 0 15 0 10084389 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001583802608 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14680] ppid=14666 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/14668/task/14680/stat : 14680 (java) S 14666 14666 5228 0 -1 1077944384 7993 0 0 0 71 2 0 0 20 0 15 0 10084389 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001582749808 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14681] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14681/stat : 14681 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001581697248 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14682] ppid=14666 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14668/task/14682/stat : 14682 (java) S 14666 14666 5228 0 -1 1077944384 932 0 0 0 5 6 0 0 20 0 15 0 10084394 14316269568 58086 18446744073709551615 4194304 4196468 140733340192832 140001580645552 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
Current children cumulated CPU time (s) 231.69
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.39 1.76 1.80 3/214 14767
/proc/meminfo: memFree=31571608/32770624 swapFree=0/191416
[pid=14666] ppid=14663 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14666/stat : 14666 (xcsp3-exec) S 14663 14666 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10084373 9740288 345 18446744073709551615 4194304 5098028 140736061646112 140736061644216 140390111007356 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 22654976 140736061653403 140736061653607 140736061653607 140736061657067 0
/proc/14666/statm: 2378 345 289 221 0 87 0
[pid=14668] ppid=14666 vsize=13980732 CPUtime=249.49 cores=1,3,5,7
/proc/14668/stat : 14668 (java) S 14666 14666 5228 0 -1 1077944320 76038 0 0 0 24905 44 0 0 20 0 15 0 10084384 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140733340175376 140002673037047 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
/proc/14668/statm: 3495183 58854 3226 1 0 3483484 0
[pid=14668/tid=14669] ppid=14666 vsize=13980732 CPUtime=239.48 cores=1,3,5,7
/proc/14668/task/14669/stat : 14669 (java) R 14666 14666 5228 0 -1 4202560 15017 0 0 0 23940 8 0 0 20 0 15 0 10084384 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140002677272592 140002264910166 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14670] ppid=14666 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/14668/task/14670/stat : 14670 (java) S 14666 14666 5228 0 -1 1077944384 639 0 0 0 15 6 0 0 20 0 15 0 10084385 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140002592451216 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14671] ppid=14666 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/14668/task/14671/stat : 14671 (java) S 14666 14666 5228 0 -1 1077944384 2301 0 0 0 15 6 0 0 20 0 15 0 10084385 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140002591398416 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14672] ppid=14666 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/14668/task/14672/stat : 14672 (java) S 14666 14666 5228 0 -1 1077944384 1968 0 0 0 16 5 0 0 20 0 15 0 10084385 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140002590345616 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14673] ppid=14666 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/14668/task/14673/stat : 14673 (java) S 14666 14666 5228 0 -1 1077944384 825 0 0 0 15 6 0 0 20 0 15 0 10084385 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140002589292816 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14674] ppid=14666 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/14668/task/14674/stat : 14674 (java) S 14666 14666 5228 0 -1 1077944384 1389 0 0 0 6 1 0 0 20 0 15 0 10084386 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001589066608 140002673048194 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14675] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14675/stat : 14675 (java) S 14666 14666 5228 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10084386 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001588012640 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14676] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14676/stat : 14676 (java) S 14666 14666 5228 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10084387 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001586959744 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14677] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14677/stat : 14677 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001585908048 140002673055643 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14678] ppid=14666 vsize=13980732 CPUtime=3.97 cores=1,3,5,7
/proc/14668/task/14678/stat : 14678 (java) S 14666 14666 5228 0 -1 1077944384 22281 0 0 0 394 3 0 0 20 0 15 0 10084389 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001584855408 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14679] ppid=14666 vsize=13980732 CPUtime=4.19 cores=1,3,5,7
/proc/14668/task/14679/stat : 14679 (java) S 14666 14666 5228 0 -1 1077944384 20957 0 0 0 417 2 0 0 20 0 15 0 10084389 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001583802608 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14680] ppid=14666 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/14668/task/14680/stat : 14680 (java) S 14666 14666 5228 0 -1 1077944384 8351 0 0 0 72 2 0 0 20 0 15 0 10084389 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001582749808 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14681] ppid=14666 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14668/task/14681/stat : 14681 (java) S 14666 14666 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10084389 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001581697248 140002673047253 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
[pid=14668/tid=14682] ppid=14666 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/14668/task/14682/stat : 14682 (java) S 14666 14666 5228 0 -1 1077944384 932 0 0 0 5 6 0 0 20 0 15 0 10084394 14316269568 58854 18446744073709551615 4194304 4196468 140733340192832 140001580645552 140002673048194 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26836992 140733340201428 140733340201603 140733340201603 140733340205007 0
Current children cumulated CPU time (s) 249.49
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 14668 sig 9
??? kill 14666 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 14666 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=1851
# CPU time returned by wait4() is 0.001851
# while last known CPU time is 249.49
#
# 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.49
CPU user time (s): 249.05
CPU system time (s): 0.44
CPU usage (%): 103.95
Max. virtual memory (cumulated for all children) (KiB): 13992024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001851
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.2309 second user time and 1.36926 second system time
The end