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-4254223-1501985536/watcher-4254223-1501985536 -o /tmp/evaluation-result-4254223-1501985536/solver-4254223-1501985536 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 658213798 HOME/instance-4254223-1501985536.xml
pid=19354
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.54 2.04 1.99 6/198 19357
/proc/meminfo: memFree=20703788/32770624 swapFree=0/323100
[pid=19357] ppid=19354 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (runsolver) D 19354 19357 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 98206839 24240128 107 18446744073709551615 4194304 4338465 140724591625072 140724591622712 139711055794903 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 18665472 140724591628387 140724591628876 140724591628876 140724591632330 0
/proc/19357/statm: 5918 107 54 36 0 2156 0
[startup+0.100088 s]
/proc/loadavg: 2.54 2.04 1.99 6/198 19357
/proc/meminfo: memFree=20703788/32770624 swapFree=0/323100
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200297 s]
/proc/loadavg: 2.54 2.04 1.99 6/198 19357
/proc/meminfo: memFree=20703788/32770624 swapFree=0/323100
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301771 s]
/proc/loadavg: 2.54 2.04 1.99 6/198 19357
/proc/meminfo: memFree=20703788/32770624 swapFree=0/323100
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700168 s]
/proc/loadavg: 2.54 2.04 1.99 6/198 19357
/proc/meminfo: memFree=20703788/32770624 swapFree=0/323100
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50061 s]
/proc/loadavg: 2.54 2.04 1.99 7/214 19373
/proc/meminfo: memFree=20606884/32770624 swapFree=0/323156
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
[pid=19359] ppid=19357 vsize=13980732 CPUtime=3.17 cores=1,3,5,7
/proc/19359/stat : 19359 (java) S 19357 19357 12039 0 -1 1077944320 19460 0 0 0 311 6 0 0 20 0 15 0 98206849 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 140730755817072 139674042216183 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
/proc/19359/statm: 3495183 30545 3191 1 0 3483476 0
[pid=19359/tid=19360] ppid=19357 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/19359/task/19360/stat : 19360 (java) R 19357 19357 12039 0 -1 4202560 8676 0 0 0 126 4 0 0 20 0 15 0 98206849 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139674046451584 139674026555008 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19361] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19361/stat : 19361 (java) S 19357 19357 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139673961629968 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19362] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19362/stat : 19362 (java) S 19357 19357 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139673960577424 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19363] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19363/stat : 19363 (java) S 19357 19357 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139673959524880 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19364] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19364/stat : 19364 (java) S 19357 19357 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139673958472336 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19365] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19365/stat : 19365 (java) S 19357 19357 12039 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672958011888 139674042227330 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19366] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19366/stat : 19366 (java) S 19357 19357 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672956958112 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19367] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19367/stat : 19367 (java) S 19357 19357 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98206852 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672955905520 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19368] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19368/stat : 19368 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672954854096 139674042234779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19369] ppid=19357 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/19359/task/19369/stat : 19369 (java) S 19357 19357 12039 0 -1 1077944384 3342 0 0 0 67 0 0 0 20 0 15 0 98206854 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672953800688 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19370] ppid=19357 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/19359/task/19370/stat : 19370 (java) S 19357 19357 12039 0 -1 1077944384 3911 0 0 0 67 0 0 0 20 0 15 0 98206854 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672952748144 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19371] ppid=19357 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/19359/task/19371/stat : 19371 (java) S 19357 19357 12039 0 -1 1077944384 2212 0 0 0 49 0 0 0 20 0 15 0 98206854 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672951695600 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19372] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19372/stat : 19372 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672950643296 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19373] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19373/stat : 19373 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206863 14316269568 30545 18446744073709551615 4194304 4196468 140730755834528 139672949590832 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 2.54 2.04 1.99 4/198 19387
/proc/meminfo: memFree=31437132/32770624 swapFree=0/323156
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
[pid=19359] ppid=19357 vsize=13980732 CPUtime=6.97 cores=1,3,5,7
/proc/19359/stat : 19359 (java) S 19357 19357 12039 0 -1 1077944320 30662 0 0 0 688 9 0 0 20 0 15 0 98206849 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 140730755817072 139674042216183 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
/proc/19359/statm: 3495183 55471 3225 1 0 3483476 0
[pid=19359/tid=19360] ppid=19357 vsize=13980732 CPUtime=2.89 cores=1,3,5,7
/proc/19359/task/19360/stat : 19360 (java) R 19357 19357 12039 0 -1 4202560 9229 0 0 0 284 5 0 0 20 0 15 0 98206849 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139674046452968 139673634964953 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19361] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19361/stat : 19361 (java) S 19357 19357 12039 0 -1 1077944384 620 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139673961629968 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19362] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19362/stat : 19362 (java) S 19357 19357 12039 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139673960577424 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19363] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19363/stat : 19363 (java) S 19357 19357 12039 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139673959524880 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19364] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19364/stat : 19364 (java) S 19357 19357 12039 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139673958472336 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19365] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19365/stat : 19365 (java) S 19357 19357 12039 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672958011888 139674042227330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19366] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19366/stat : 19366 (java) S 19357 19357 12039 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672956958112 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19367] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19367/stat : 19367 (java) S 19357 19357 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98206852 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672955905520 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19368] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19368/stat : 19368 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672954854096 139674042234779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19369] ppid=19357 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/19359/task/19369/stat : 19369 (java) R 19357 19357 12039 0 -1 4202560 6154 0 0 0 153 0 0 0 20 0 15 0 98206854 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672953800688 139674025715052 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19370] ppid=19357 vsize=13980732 CPUtime=1.91 cores=1,3,5,7
/proc/19359/task/19370/stat : 19370 (java) R 19357 19357 12039 0 -1 4202560 9553 0 0 0 190 1 0 0 20 0 15 0 98206854 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672952748272 139674025600976 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19371] ppid=19357 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/19359/task/19371/stat : 19371 (java) S 19357 19357 12039 0 -1 1077944384 3188 0 0 0 56 0 0 0 20 0 15 0 98206854 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672951695600 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19372] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19372/stat : 19372 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672950643296 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19373] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19373/stat : 19373 (java) S 19357 19357 12039 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 98206863 14316269568 55471 18446744073709551615 4194304 4196468 140730755834528 139672949590832 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.66 2.07 2.00 6/214 19450
/proc/meminfo: memFree=31225764/32770624 swapFree=0/323196
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
[pid=19359] ppid=19357 vsize=13980732 CPUtime=11.23 cores=1,3,5,7
/proc/19359/stat : 19359 (java) S 19357 19357 12039 0 -1 1077944320 30931 0 0 0 1113 10 0 0 20 0 15 0 98206849 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 140730755817072 139674042216183 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
/proc/19359/statm: 3495183 56804 3230 1 0 3483476 0
[pid=19359/tid=19360] ppid=19357 vsize=13980732 CPUtime=6.08 cores=1,3,5,7
/proc/19359/task/19360/stat : 19360 (java) R 19357 19357 12039 0 -1 4202560 9254 0 0 0 603 5 0 0 20 0 15 0 98206849 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139674046452760 139673633363418 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19361] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19361/stat : 19361 (java) S 19357 19357 12039 0 -1 1077944384 632 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139673961629968 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19362] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19362/stat : 19362 (java) S 19357 19357 12039 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139673960577424 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19363] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19363/stat : 19363 (java) S 19357 19357 12039 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139673959524880 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19364] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19364/stat : 19364 (java) S 19357 19357 12039 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 98206850 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139673958472336 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19365] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19365/stat : 19365 (java) S 19357 19357 12039 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672958011888 139674042227330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19366] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19366/stat : 19366 (java) S 19357 19357 12039 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672956958112 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19367] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19367/stat : 19367 (java) S 19357 19357 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98206852 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672955905520 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19368] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19368/stat : 19368 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672954854096 139674042234779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19369] ppid=19357 vsize=13980732 CPUtime=2.06 cores=1,3,5,7
/proc/19359/task/19369/stat : 19369 (java) R 19357 19357 12039 0 -1 4202560 6242 0 0 0 206 0 0 0 20 0 15 0 98206854 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672953800984 139674025600976 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19370] ppid=19357 vsize=13980732 CPUtime=2.41 cores=1,3,5,7
/proc/19359/task/19370/stat : 19370 (java) S 19357 19357 12039 0 -1 1077944384 9639 0 0 0 240 1 0 0 20 0 15 0 98206854 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672952748144 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19371] ppid=19357 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/19359/task/19371/stat : 19371 (java) S 19357 19357 12039 0 -1 1077944384 3217 0 0 0 58 1 0 0 20 0 15 0 98206854 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672951695600 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19372] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19372/stat : 19372 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672950643296 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19373] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19373/stat : 19373 (java) S 19357 19357 12039 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 98206863 14316269568 56804 18446744073709551615 4194304 4196468 140730755834528 139672949590832 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.60 2.07 2.00 3/214 19450
/proc/meminfo: memFree=31199908/32770624 swapFree=0/323200
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
[pid=19359] ppid=19357 vsize=13980732 CPUtime=17.89 cores=1,3,5,7
/proc/19359/stat : 19359 (java) S 19357 19357 12039 0 -1 1077944320 36787 0 0 0 1778 11 0 0 20 0 15 0 98206849 14316269568 57407 18446744073709551615 4194304 4196468 140730755834528 140730755817072 139674042216183 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
/proc/19359/statm: 3495183 57407 3238 1 0 3483476 0
[pid=19359/tid=19360] ppid=19357 vsize=13980732 CPUtime=12.47 cores=1,3,5,7
/proc/19359/task/19360/stat : 19360 (java) R 19357 19357 12039 0 -1 4202560 9963 0 0 0 1242 5 0 0 20 0 15 0 98206849 14316269568 57407 18446744073709551615 4194304 4196468 140730755834528 139674046453248 139673634696905 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19361] ppid=19357 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19359/task/19361/stat : 19361 (java) S 19357 19357 12039 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 15 0 98206850 14316269568 57407 18446744073709551615 4194304 4196468 140730755834528 139673961629968 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19362] ppid=19357 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19359/task/19362/stat : 19362 (java) S 19357 19357 12039 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 15 0 98206850 14316269568 57407 18446744073709551615 4194304 4196468 140730755834528 139673960577424 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
################
# More data... #
################
[pid=19359/tid=19366] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19366/stat : 19366 (java) S 19357 19357 12039 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672956958112 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19367] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19367/stat : 19367 (java) S 19357 19357 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98206852 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672955905520 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19368] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19368/stat : 19368 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672954854096 139674042234779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19369] ppid=19357 vsize=13980732 CPUtime=2.33 cores=1,3,5,7
/proc/19359/task/19369/stat : 19369 (java) S 19357 19357 12039 0 -1 1077944384 11922 0 0 0 232 1 0 0 20 0 15 0 98206854 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672953800688 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19370] ppid=19357 vsize=13980732 CPUtime=2.66 cores=1,3,5,7
/proc/19359/task/19370/stat : 19370 (java) S 19357 19357 12039 0 -1 1077944384 14131 0 0 0 265 1 0 0 20 0 15 0 98206854 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672952748144 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19371] ppid=19357 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19359/task/19371/stat : 19371 (java) S 19357 19357 12039 0 -1 1077944384 5265 0 0 0 62 1 0 0 20 0 15 0 98206854 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672951695600 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19372] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19372/stat : 19372 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672950643296 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19373] ppid=19357 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19359/task/19373/stat : 19373 (java) S 19357 19357 12039 0 -1 1077944384 395 0 0 0 1 1 0 0 20 0 15 0 98206863 14316269568 59254 18446744073709551615 4194304 4196468 140730755834528 139672949590832 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
Current children cumulated CPU time (s) 107.89
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.16 2.04 2.00 3/219 19470
/proc/meminfo: memFree=31175824/32770624 swapFree=0/323296
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
[pid=19359] ppid=19357 vsize=13980732 CPUtime=167.96 cores=1,3,5,7
/proc/19359/stat : 19359 (java) S 19357 19357 12039 0 -1 1077944320 56747 0 0 0 16777 19 0 0 20 0 15 0 98206849 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 140730755817072 139674042216183 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
/proc/19359/statm: 3495183 59663 3239 1 0 3483476 0
[pid=19359/tid=19360] ppid=19357 vsize=13980732 CPUtime=162.01 cores=1,3,5,7
/proc/19359/task/19360/stat : 19360 (java) R 19357 19357 12039 0 -1 4202560 13457 0 0 0 16196 5 0 0 20 0 15 0 98206849 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139674046453640 139673635302496 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19361] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19361/stat : 19361 (java) S 19357 19357 12039 0 -1 1077944384 2912 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139673961629968 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19362] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19362/stat : 19362 (java) S 19357 19357 12039 0 -1 1077944384 2274 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139673960577424 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19363] ppid=19357 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19359/task/19363/stat : 19363 (java) S 19357 19357 12039 0 -1 1077944384 1110 0 0 0 2 1 0 0 20 0 15 0 98206850 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139673959524880 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19364] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19364/stat : 19364 (java) S 19357 19357 12039 0 -1 1077944384 535 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139673958472336 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19365] ppid=19357 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19359/task/19365/stat : 19365 (java) S 19357 19357 12039 0 -1 1077944384 1442 0 0 0 2 0 0 0 20 0 15 0 98206851 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672958011888 139674042227330 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19366] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19366/stat : 19366 (java) S 19357 19357 12039 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672956958112 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19367] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19367/stat : 19367 (java) S 19357 19357 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98206852 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672955905520 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19368] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19368/stat : 19368 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672954854096 139674042234779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19369] ppid=19357 vsize=13980732 CPUtime=2.34 cores=1,3,5,7
/proc/19359/task/19369/stat : 19369 (java) S 19357 19357 12039 0 -1 1077944384 12998 0 0 0 233 1 0 0 20 0 15 0 98206854 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672953800688 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19370] ppid=19357 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/19359/task/19370/stat : 19370 (java) S 19357 19357 12039 0 -1 1077944384 14972 0 0 0 267 1 0 0 20 0 15 0 98206854 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672952748144 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19371] ppid=19357 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19359/task/19371/stat : 19371 (java) S 19357 19357 12039 0 -1 1077944384 5277 0 0 0 62 1 0 0 20 0 15 0 98206854 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672951695600 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19372] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19372/stat : 19372 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672950643296 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19373] ppid=19357 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19359/task/19373/stat : 19373 (java) S 19357 19357 12039 0 -1 1077944384 421 0 0 0 2 1 0 0 20 0 15 0 98206863 14316269568 59663 18446744073709551615 4194304 4196468 140730755834528 139672949590832 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
Current children cumulated CPU time (s) 167.96
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.06 2.04 2.00 3/220 19497
/proc/meminfo: memFree=31189324/32770624 swapFree=0/323360
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
[pid=19359] ppid=19357 vsize=13980732 CPUtime=228 cores=1,3,5,7
/proc/19359/stat : 19359 (java) S 19357 19357 12039 0 -1 1077944320 57473 0 0 0 22780 20 0 0 20 0 15 0 98206849 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 140730755817072 139674042216183 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
/proc/19359/statm: 3495183 57227 3239 1 0 3483476 0
[pid=19359/tid=19360] ppid=19357 vsize=13980732 CPUtime=222.01 cores=1,3,5,7
/proc/19359/task/19360/stat : 19360 (java) R 19357 19357 12039 0 -1 4202560 13749 0 0 0 22196 5 0 0 20 0 15 0 98206849 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139674046454816 139674027426725 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19361] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19361/stat : 19361 (java) S 19357 19357 12039 0 -1 1077944384 2926 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139673961629968 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19362] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19362/stat : 19362 (java) S 19357 19357 12039 0 -1 1077944384 2547 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139673960577424 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19363] ppid=19357 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19359/task/19363/stat : 19363 (java) S 19357 19357 12039 0 -1 1077944384 1128 0 0 0 2 1 0 0 20 0 15 0 98206850 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139673959524880 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19364] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19364/stat : 19364 (java) S 19357 19357 12039 0 -1 1077944384 555 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139673958472336 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19365] ppid=19357 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19359/task/19365/stat : 19365 (java) S 19357 19357 12039 0 -1 1077944384 1483 0 0 0 2 1 0 0 20 0 15 0 98206851 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672958011888 139674042227330 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19366] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19366/stat : 19366 (java) S 19357 19357 12039 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672956958112 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19367] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19367/stat : 19367 (java) S 19357 19357 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98206852 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672955905520 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19368] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19368/stat : 19368 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672954854096 139674042234779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19369] ppid=19357 vsize=13980732 CPUtime=2.34 cores=1,3,5,7
/proc/19359/task/19369/stat : 19369 (java) S 19357 19357 12039 0 -1 1077944384 13000 0 0 0 233 1 0 0 20 0 15 0 98206854 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672953800688 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19370] ppid=19357 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/19359/task/19370/stat : 19370 (java) S 19357 19357 12039 0 -1 1077944384 14974 0 0 0 267 1 0 0 20 0 15 0 98206854 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672952748144 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19371] ppid=19357 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19359/task/19371/stat : 19371 (java) S 19357 19357 12039 0 -1 1077944384 5335 0 0 0 62 1 0 0 20 0 15 0 98206854 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672951695600 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19372] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19372/stat : 19372 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672950643296 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19373] ppid=19357 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/19359/task/19373/stat : 19373 (java) S 19357 19357 12039 0 -1 1077944384 427 0 0 0 3 2 0 0 20 0 15 0 98206863 14316269568 57227 18446744073709551615 4194304 4196468 140730755834528 139672949590832 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
Current children cumulated CPU time (s) 228
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 2.03 2.00 3/220 19498
/proc/meminfo: memFree=31192092/32770624 swapFree=0/323372
[pid=19357] ppid=19354 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp3-exec) S 19354 19357 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98206839 9740288 345 18446744073709551615 4194304 5098028 140731310402176 140731310400280 139879425061500 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 34717696 140731310404002 140731310404205 140731310404205 140731310407659 0
/proc/19357/statm: 2378 345 289 221 0 87 0
[pid=19359] ppid=19357 vsize=13980732 CPUtime=245.69 cores=1,3,5,7
/proc/19359/stat : 19359 (java) S 19357 19357 12039 0 -1 1077944320 58116 0 0 0 24549 20 0 0 20 0 15 0 98206849 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 140730755817072 139674042216183 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
/proc/19359/statm: 3495183 56457 3239 1 0 3483476 0
[pid=19359/tid=19360] ppid=19357 vsize=13980732 CPUtime=239.69 cores=1,3,5,7
/proc/19359/task/19360/stat : 19360 (java) R 19357 19357 12039 0 -1 4202560 13999 0 0 0 23964 5 0 0 20 0 15 0 98206849 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139674046454816 139673634697249 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19361] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19361/stat : 19361 (java) S 19357 19357 12039 0 -1 1077944384 3058 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139673961629968 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19362] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19362/stat : 19362 (java) S 19357 19357 12039 0 -1 1077944384 2550 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139673960577424 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19363] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19363/stat : 19363 (java) S 19357 19357 12039 0 -1 1077944384 1136 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139673959524880 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19364] ppid=19357 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19359/task/19364/stat : 19364 (java) S 19357 19357 12039 0 -1 1077944384 581 0 0 0 3 1 0 0 20 0 15 0 98206850 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139673958472336 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19365] ppid=19357 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19359/task/19365/stat : 19365 (java) S 19357 19357 12039 0 -1 1077944384 1679 0 0 0 2 1 0 0 20 0 15 0 98206851 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672958011888 139674042227330 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19366] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19366/stat : 19366 (java) S 19357 19357 12039 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98206851 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672956958112 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19367] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19367/stat : 19367 (java) S 19357 19357 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98206852 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672955905520 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19368] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19368/stat : 19368 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672954854096 139674042234779 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19369] ppid=19357 vsize=13980732 CPUtime=2.34 cores=1,3,5,7
/proc/19359/task/19369/stat : 19369 (java) S 19357 19357 12039 0 -1 1077944384 13001 0 0 0 233 1 0 0 20 0 15 0 98206854 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672953800688 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19370] ppid=19357 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/19359/task/19370/stat : 19370 (java) S 19357 19357 12039 0 -1 1077944384 14980 0 0 0 267 1 0 0 20 0 15 0 98206854 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672952748144 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19371] ppid=19357 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19359/task/19371/stat : 19371 (java) S 19357 19357 12039 0 -1 1077944384 5336 0 0 0 62 1 0 0 20 0 15 0 98206854 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672951695600 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19372] ppid=19357 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19359/task/19372/stat : 19372 (java) S 19357 19357 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98206854 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672950643296 139674042226389 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
[pid=19359/tid=19373] ppid=19357 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/19359/task/19373/stat : 19373 (java) S 19357 19357 12039 0 -1 1077944384 447 0 0 0 3 2 0 0 20 0 15 0 98206863 14316269568 56457 18446744073709551615 4194304 4196468 140730755834528 139672949590832 139674042227330 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10416128 140730755838426 140730755838601 140730755838601 140730755841999 0
Current children cumulated CPU time (s) 245.69
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 19359 sig 9
??? kill 19357 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 19357 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=931
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=931
# CPU time returned by wait4() is 0.001862
# while last known CPU time is 245.69
#
# 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): 245.69
CPU user time (s): 245.49
CPU system time (s): 0.2
CPU usage (%): 102.367
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000931
system time used= 0.000931
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 0.971008 second user time and 1.52368 second system time
The end