runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15347 MiB free)
memory of node 1: 16384 MiB (15353 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255293-1502643381/watcher-4255293-1502643381 -o /tmp/evaluation-result-4255293-1502643381/solver-4255293-1502643381 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27768 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 437865964 HOME/instance-4255293-1502643381.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27992, runsolver pid=27989
[startup+0.100136 s]*
/proc/loadavg: 2.01 1.44 1.56 5/203 27995
/proc/meminfo: memFree=31431620/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=13358712 memory=14368 CPUtime=0 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 3386 0 0 0 0 0 0 0 20 0 6 0 163990827 13679321088 3592 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3339678 3592 1902 1 0 3329175 0
[pid=27994/tid=27995] ppid=27992 vsize=13358712 memory=-8713483618642852700 CPUtime=0.01 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 2152 0 0 0 1 0 0 0 20 0 6 0 163990827 13679321088 3592 18446744073709551615 4194304 4196468 140732273487184 140070554157648 140070534131233 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 163990828 13679321088 3592 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=13358712 memory=140211944769152 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 163990828 13679321088 3592 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 163990828 13679321088 3592 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 163990828 13679321088 3592 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15748 KiB
[startup+0.217436 s]*
/proc/loadavg: 2.01 1.44 1.56 5/216 28008
/proc/meminfo: memFree=31419208/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=13974352 memory=24908 CPUtime=0.08 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 5132 0 0 0 7 1 0 0 20 0 15 0 163990827 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3493588 6227 2724 1 0 3482964 0
[pid=27994/tid=27995] ppid=27992 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 3280 0 0 0 6 0 0 0 20 0 15 0 163990827 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070554147216 140070549943453 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=13974352 memory=8005 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=13974352 memory=4123521250321319584 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28000] ppid=27992 vsize=13974352 memory=140211944769152 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28000/stat : 28000 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990829 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070095616112 140070549932674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28001] ppid=27992 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28001/stat : 28001 (java) S 27992 27992 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163990829 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070094562080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28002] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28002/stat : 28002 (java) S 27992 27992 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163990830 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070093509744 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28003] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28003/stat : 28003 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070092458064 140070549940123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28004] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28004/stat : 28004 (java) S 27992 27992 7084 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 163990832 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070023588464 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28005] ppid=27992 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28005/stat : 28005 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990832 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070022535664 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28006] ppid=27992 vsize=13974352 memory=140211944769152 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28006/stat : 28006 (java) S 27992 27992 7084 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 163990832 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070021483376 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28007] ppid=27992 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28007/stat : 28007 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070020430816 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28008] ppid=27992 vsize=13974352 memory=140211944769152 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28008/stat : 28008 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990838 14309736448 6227 18446744073709551615 4194304 4196468 140732273487184 140070019377584 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26288 KiB
[startup+0.310536 s]*
/proc/loadavg: 2.01 1.44 1.56 5/216 28008
/proc/meminfo: memFree=31405512/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=13974352 memory=36880 CPUtime=0.25 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 8780 0 0 0 22 3 0 0 20 0 15 0 163990827 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3493588 9220 2974 1 0 3482964 0
[pid=27994/tid=27995] ppid=27992 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 5998 0 0 0 14 1 0 0 20 0 15 0 163990827 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070554150064 140070510869027 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28000] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28000/stat : 28000 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990829 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070095616112 140070549932674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28001] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28001/stat : 28001 (java) S 27992 27992 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163990829 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070094562080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28002] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28002/stat : 28002 (java) S 27992 27992 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163990830 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070093509744 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28003] ppid=27992 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28003/stat : 28003 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070092458064 140070549940123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28004] ppid=27992 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27994/task/28004/stat : 28004 (java) S 27992 27992 7084 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 163990832 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070023588464 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28005] ppid=27992 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27994/task/28005/stat : 28005 (java) S 27992 27992 7084 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 163990832 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070022535664 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28006] ppid=27992 vsize=13974352 memory=140211944769152 CPUtime=0.05 cores=0,2,4,6
/proc/27994/task/28006/stat : 28006 (java) R 27992 27992 7084 0 -1 4202560 737 0 0 0 5 0 0 0 20 0 15 0 163990832 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070021483376 140070528022236 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28007] ppid=27992 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28007/stat : 28007 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070020430816 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28008] ppid=27992 vsize=13974352 memory=140211944769152 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28008/stat : 28008 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990838 14309736448 9220 18446744073709551615 4194304 4196468 140732273487184 140070019377584 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38260 KiB
[startup+0.700738 s]
/proc/loadavg: 2.01 1.44 1.56 6/216 28008
/proc/meminfo: memFree=31393764/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=13980732 memory=69164 CPUtime=1.21 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 13368 0 0 0 116 5 0 0 20 0 15 0 163990827 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3495183 17291 3161 1 0 3483476 0
[pid=27994/tid=27995] ppid=27992 vsize=13980732 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 8431 0 0 0 50 4 0 0 20 0 15 0 163990827 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070554155344 140070549933462 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=13980732 memory=164 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990828 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=13980732 memory=83396 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=13980732 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28000] ppid=27992 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28000/stat : 28000 (java) S 27992 27992 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 163990829 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070095616112 140070549932674 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28001] ppid=27992 vsize=13980732 memory=3041 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28001/stat : 28001 (java) S 27992 27992 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163990829 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070094562080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28002] ppid=27992 vsize=13980732 memory=15457 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28002/stat : 28002 (java) S 27992 27992 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 163990830 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070093509744 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28003] ppid=27992 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28003/stat : 28003 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070092458064 140070549940123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28004] ppid=27992 vsize=13980732 memory=6628 CPUtime=0.16 cores=0,2,4,6
/proc/27994/task/28004/stat : 28004 (java) S 27992 27992 7084 0 -1 1077944384 944 0 0 0 16 0 0 0 20 0 15 0 163990832 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070023588464 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28005] ppid=27992 vsize=13980732 memory=8836 CPUtime=0.17 cores=0,2,4,6
/proc/27994/task/28005/stat : 28005 (java) S 27992 27992 7084 0 -1 1077944384 1104 0 0 0 17 0 0 0 20 0 15 0 163990832 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070022535664 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28006] ppid=27992 vsize=13980732 memory=11044 CPUtime=0.32 cores=0,2,4,6
/proc/27994/task/28006/stat : 28006 (java) R 27992 27992 7084 0 -1 4202560 1580 0 0 0 32 0 0 0 20 0 15 0 163990832 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070021483376 140070534492465 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28007] ppid=27992 vsize=13980732 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28007/stat : 28007 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070020430816 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28008] ppid=27992 vsize=13980732 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28008/stat : 28008 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990838 14316269568 17291 18446744073709551615 4194304 4196468 140732273487184 140070019377584 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70544 KiB
[startup+1.50148 s]
/proc/loadavg: 2.01 1.44 1.56 7/216 28008
/proc/meminfo: memFree=31346424/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=13982508 memory=121828 CPUtime=3.63 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 33154 0 0 0 354 9 0 0 20 0 15 0 163990827 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3495627 30457 3196 1 0 3483920 0
[pid=27994/tid=27995] ppid=27992 vsize=13982508 memory=1832273315329 CPUtime=1.33 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 9752 0 0 0 129 4 0 0 20 0 15 0 163990827 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140070554156776 140070180083994 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=13982508 memory=1896697824513 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 163990828 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=13982508 memory=108900 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=13982508 memory=96116 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=13982508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 163990828 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28000] ppid=27992 vsize=13982508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28000/stat : 28000 (java) S 27992 27992 7084 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 163990829 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140070095616112 140070549932674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28001] ppid=27992 vsize=13982508 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28001/stat : 28001 (java) S 27992 27992 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 163990829 14318088192 30457 18446744073709551615 4194304 4196468 140732273487184 140070094562080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28002] ppid=27992 vsize=13982508 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/27994/task/28002/stat : 28002 (java) S 27992 27992 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 163990830 14388314112 96372 18446744073709551615 4194304 4196468 140732273487184 140070093509760 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28003] ppid=27992 vsize=14051088 memory=382348 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28003/stat : 28003 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96372 18446744073709551615 4194304 4196468 140732273487184 140070092458064 140070549940123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28004] ppid=27992 vsize=14051088 memory=1380 CPUtime=12.39 cores=0,2,4,6
/proc/27994/task/28004/stat : 28004 (java) S 27992 27992 7084 0 -1 1077944384 68160 0 0 0 1230 9 0 0 20 0 15 0 163990832 14388314112 96372 18446744073709551615 4194304 4196468 140732273487184 140070023588464 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28005] ppid=27992 vsize=14051088 memory=1380 CPUtime=13.14 cores=0,2,4,6
/proc/27994/task/28005/stat : 28005 (java) S 27992 27992 7084 0 -1 1077944384 64275 0 0 0 1307 7 0 0 20 0 15 0 163990832 14388314112 96372 18446744073709551615 4194304 4196468 140732273487184 140070022535664 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28006] ppid=27992 vsize=14051088 memory=1380 CPUtime=1.09 cores=0,2,4,6
/proc/27994/task/28006/stat : 28006 (java) S 27992 27992 7084 0 -1 1077944384 10455 0 0 0 107 2 0 0 20 0 15 0 163990832 14388314112 96372 18446744073709551615 4194304 4196468 140732273487184 140070021483376 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28007] ppid=27992 vsize=14051088 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28007/stat : 28007 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96372 18446744073709551615 4194304 4196468 140732273487184 140070020430816 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28008] ppid=27992 vsize=14051088 memory=288230574492221466 CPUtime=0.04 cores=0,2,4,6
/proc/27994/task/28008/stat : 28008 (java) S 27992 27992 7084 0 -1 1077944384 2311 0 0 0 2 2 0 0 20 0 15 0 163990838 14388314112 96372 18446744073709551615 4194304 4196468 140732273487184 140070019377584 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 189.21 s
Current children cumulated vsize: 14060600 KiB
Current children cumulated memory: 386868 KiB
[startup+222.301 s]
/proc/loadavg: 2.04 1.79 1.68 3/214 28093
/proc/meminfo: memFree=31073856/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=14051088 memory=386524 CPUtime=249.27 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 169393 0 0 0 24888 39 0 0 20 0 15 0 163990827 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3512772 96631 3252 1 0 3501065 0
[pid=27994/tid=27995] ppid=27992 vsize=14051088 memory=1380 CPUtime=221.9 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 18101 0 0 0 22183 7 0 0 20 0 15 0 163990827 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070554160752 140070183849968 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.15 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 852 0 0 0 13 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=14051088 memory=386524 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 521 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 612 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 1345 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28000] ppid=27992 vsize=14051088 memory=386524 CPUtime=0.02 cores=0,2,4,6
/proc/27994/task/28000/stat : 28000 (java) S 27992 27992 7084 0 -1 1077944384 1333 0 0 0 2 0 0 0 20 0 15 0 163990829 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070095616112 140070549932674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28001] ppid=27992 vsize=14051088 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28001/stat : 28001 (java) S 27992 27992 7084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 163990829 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070094562144 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28002] ppid=27992 vsize=14051088 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28002/stat : 28002 (java) S 27992 27992 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 163990830 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070093509760 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28003] ppid=27992 vsize=14051088 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28003/stat : 28003 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070092458064 140070549940123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28004] ppid=27992 vsize=14051088 memory=288230621803970871 CPUtime=12.39 cores=0,2,4,6
/proc/27994/task/28004/stat : 28004 (java) S 27992 27992 7084 0 -1 1077944384 68163 0 0 0 1230 9 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070023588464 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28005] ppid=27992 vsize=14051088 memory=1380 CPUtime=13.14 cores=0,2,4,6
/proc/27994/task/28005/stat : 28005 (java) S 27992 27992 7084 0 -1 1077944384 64282 0 0 0 1307 7 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070022535664 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28006] ppid=27992 vsize=14051088 memory=1380 CPUtime=1.09 cores=0,2,4,6
/proc/27994/task/28006/stat : 28006 (java) S 27992 27992 7084 0 -1 1077944384 10459 0 0 0 107 2 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070021483376 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28007] ppid=27992 vsize=14051088 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28007/stat : 28007 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070020430816 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28008] ppid=27992 vsize=14051088 memory=386524 CPUtime=0.06 cores=0,2,4,6
/proc/27994/task/28008/stat : 28008 (java) S 27992 27992 7084 0 -1 1077944384 2342 0 0 0 3 3 0 0 20 0 15 0 163990838 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070019377584 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 249.27 s
Current children cumulated vsize: 14060600 KiB
Current children cumulated memory: 387904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+225.11 s]
/proc/loadavg: 2.20 1.82 1.69 5/214 28093
/proc/meminfo: memFree=30999696/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=14051088 memory=386524 CPUtime=252.08 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 169470 0 0 0 25169 39 0 0 20 0 15 0 163990827 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3512772 96631 3252 1 0 3501065 0
[pid=27994/tid=27995] ppid=27992 vsize=14051088 memory=1380 CPUtime=224.71 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 18178 0 0 0 22464 7 0 0 20 0 15 0 163990827 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070554160752 140070186091149 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.15 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 852 0 0 0 13 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=14051088 memory=386524 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 521 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 612 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 1345 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28000] ppid=27992 vsize=14051088 memory=386524 CPUtime=0.02 cores=0,2,4,6
/proc/27994/task/28000/stat : 28000 (java) S 27992 27992 7084 0 -1 1077944384 1333 0 0 0 2 0 0 0 20 0 15 0 163990829 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070095616112 140070549932674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28001] ppid=27992 vsize=14051088 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28001/stat : 28001 (java) S 27992 27992 7084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 163990829 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070094562144 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28002] ppid=27992 vsize=14051088 memory=386524 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28002/stat : 28002 (java) S 27992 27992 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 163990830 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070093509760 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28003] ppid=27992 vsize=14051088 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28003/stat : 28003 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070092458064 140070549940123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28004] ppid=27992 vsize=14051088 memory=1196 CPUtime=12.39 cores=0,2,4,6
/proc/27994/task/28004/stat : 28004 (java) S 27992 27992 7084 0 -1 1077944384 68163 0 0 0 1230 9 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070023588464 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28005] ppid=27992 vsize=14051088 memory=15884 CPUtime=13.14 cores=0,2,4,6
/proc/27994/task/28005/stat : 28005 (java) S 27992 27992 7084 0 -1 1077944384 64282 0 0 0 1307 7 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070022535664 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28006] ppid=27992 vsize=14051088 memory=386524 CPUtime=1.09 cores=0,2,4,6
/proc/27994/task/28006/stat : 28006 (java) S 27992 27992 7084 0 -1 1077944384 10459 0 0 0 107 2 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070021483376 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28007] ppid=27992 vsize=14051088 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28007/stat : 28007 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070020430816 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28008] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/27994/task/28008/stat : 28008 (java) S 27992 27992 7084 0 -1 1077944384 2342 0 0 0 3 4 0 0 20 0 15 0 163990838 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070019377584 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14060600 KiB
Current children cumulated memory: 387904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.12 s]
# the end of solver process 27992 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001775 s, system=0 s
[startup+225.132 s]
# the end of solver process 27994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.706 s, system=0.413237 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+225.11 s]
/proc/loadavg: 2.20 1.82 1.69 5/214 28093
/proc/meminfo: memFree=30999696/32770624 swapFree=67108776/67108860
[pid=27992] ppid=27989 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27992/stat : 27992 (xcsp3-exec) S 27989 27992 7084 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 163990817 9740288 345 18446744073709551615 4194304 5098028 140724745121888 140724745119992 140579136279164 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 10981376 140724745130367 140724745130570 140724745130570 140724745134059 0
/proc/27992/statm: 2378 345 289 221 0 87 0
[pid=27994] ppid=27992 vsize=14051088 memory=386524 CPUtime=252.08 cores=0,2,4,6
/proc/27994/stat : 27994 (java) S 27992 27992 7084 0 -1 1077944320 169470 0 0 0 25169 39 0 0 20 0 15 0 163990827 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140732273469728 140070549921527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
/proc/27994/statm: 3512772 96631 3252 1 0 3501065 0
[pid=27994/tid=27995] ppid=27992 vsize=14051088 memory=1380 CPUtime=224.71 cores=0,2,4,6
/proc/27994/task/27995/stat : 27995 (java) R 27992 27992 7084 0 -1 4202560 18178 0 0 0 22464 7 0 0 20 0 15 0 163990827 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070554160752 140070186091149 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27996] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.15 cores=0,2,4,6
/proc/27994/task/27996/stat : 27996 (java) S 27992 27992 7084 0 -1 1077944384 852 0 0 0 13 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070506888080 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27997] ppid=27992 vsize=14051088 memory=386524 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27997/stat : 27997 (java) S 27992 27992 7084 0 -1 1077944384 521 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070505835280 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27998] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27998/stat : 27998 (java) S 27992 27992 7084 0 -1 1077944384 612 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070504782992 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=27999] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/27994/task/27999/stat : 27999 (java) S 27992 27992 7084 0 -1 1077944384 1345 0 0 0 12 2 0 0 20 0 15 0 163990828 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070503730192 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28000] ppid=27992 vsize=14051088 memory=386524 CPUtime=0.02 cores=0,2,4,6
/proc/27994/task/28000/stat : 28000 (java) S 27992 27992 7084 0 -1 1077944384 1333 0 0 0 2 0 0 0 20 0 15 0 163990829 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070095616112 140070549932674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28001] ppid=27992 vsize=14051088 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28001/stat : 28001 (java) S 27992 27992 7084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 163990829 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070094562144 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28002] ppid=27992 vsize=14051088 memory=386524 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28002/stat : 28002 (java) S 27992 27992 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 163990830 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070093509760 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28003] ppid=27992 vsize=14051088 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28003/stat : 28003 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070092458064 140070549940123 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28004] ppid=27992 vsize=14051088 memory=1196 CPUtime=12.39 cores=0,2,4,6
/proc/27994/task/28004/stat : 28004 (java) S 27992 27992 7084 0 -1 1077944384 68163 0 0 0 1230 9 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070023588464 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28005] ppid=27992 vsize=14051088 memory=15884 CPUtime=13.14 cores=0,2,4,6
/proc/27994/task/28005/stat : 28005 (java) S 27992 27992 7084 0 -1 1077944384 64282 0 0 0 1307 7 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070022535664 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28006] ppid=27992 vsize=14051088 memory=386524 CPUtime=1.09 cores=0,2,4,6
/proc/27994/task/28006/stat : 28006 (java) S 27992 27992 7084 0 -1 1077944384 10459 0 0 0 107 2 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070021483376 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28007] ppid=27992 vsize=14051088 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/27994/task/28007/stat : 28007 (java) S 27992 27992 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 163990832 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070020430816 140070549931733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
[pid=27994/tid=28008] ppid=27992 vsize=14051088 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/27994/task/28008/stat : 28008 (java) S 27992 27992 7084 0 -1 1077944384 2342 0 0 0 3 4 0 0 20 0 15 0 163990838 14388314112 96631 18446744073709551615 4194304 4196468 140732273487184 140070019377584 140070549932674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10006528 140732273492407 140732273492582 140732273492582 140732273496015 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14060600 KiB
Current children cumulated memory: 387904 KiB
Child status: 143
Real time (s): 225.132
CPU time (s): 252.12
CPU user time (s): 251.706
CPU system time (s): 0.413237
CPU usage (%): 111.988
Max. virtual memory (cumulated for all children) (KiB): 14126136
Max. memory (cumulated for all children) (KiB): 388936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.706
system time used= 0.413237
maximum resident set size= 389608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9590
involuntary context switches= 562
# summary of solver processes directly reported to runsolver:
# pid: 27992,27994
# total CPU time (s): 252.12
# total CPU user time (s): 251.706
# total CPU system time (s): 0.413237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3118 second user time and 2.18588 second system time
The end