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-4254183-1501613314/watcher-4254183-1501613314 -o /tmp/evaluation-result-4254183-1501613314/solver-4254183-1501613314 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 513326965 HOME/instance-4254183-1501613314.xml
pid=6775
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.07 1.92 1.67 3/200 6778
/proc/meminfo: memFree=31745744/32770624 swapFree=0/180984
[pid=6778] ppid=6775 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (runsolver) D 6775 6778 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9146707 24240128 108 18446744073709551615 4194304 4338465 140722753879376 140722753877016 139927625052887 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 9330688 140722753888350 140722753888838 140722753888838 140722753892298 0
/proc/6778/statm: 5918 108 54 36 0 2156 0
[startup+0.100062 s]
/proc/loadavg: 2.07 1.92 1.67 3/200 6778
/proc/meminfo: memFree=31745744/32770624 swapFree=0/180984
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200245 s]
/proc/loadavg: 2.07 1.92 1.67 3/200 6778
/proc/meminfo: memFree=31745744/32770624 swapFree=0/180984
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300271 s]
/proc/loadavg: 2.07 1.92 1.67 3/200 6778
/proc/meminfo: memFree=31745744/32770624 swapFree=0/180984
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70112 s]
/proc/loadavg: 2.07 1.92 1.67 3/200 6778
/proc/meminfo: memFree=31745744/32770624 swapFree=0/180984
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 2.07 1.92 1.67 7/216 6794
/proc/meminfo: memFree=31570004/32770624 swapFree=0/180984
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=3.64 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 19223 0 0 0 358 6 0 0 20 0 15 0 9146715 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 18203 3190 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 8766 0 0 0 129 4 0 0 20 0 15 0 9146715 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139808871874800 139808512976151 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6784] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6784/stat : 6784 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139808465770896 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6785] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6785/stat : 6785 (java) S 6778 6778 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139808464718096 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6786] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6786/stat : 6786 (java) S 6778 6778 5228 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9146717 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807784385392 139808867650178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6787] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6787/stat : 6787 (java) S 6778 6778 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807783331360 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6788] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6788/stat : 6788 (java) S 6778 6778 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807782278512 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6789] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6789/stat : 6789 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146720 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807781226832 139808867657627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6790] ppid=6778 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/6780/task/6790/stat : 6790 (java) S 6778 6778 5228 0 -1 1077944384 4265 0 0 0 97 0 0 0 20 0 15 0 9146720 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807780174192 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6791] ppid=6778 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/6780/task/6791/stat : 6791 (java) R 6778 6778 5228 0 -1 4202560 3351 0 0 0 94 0 0 0 20 0 15 0 9146720 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807779121392 139808849183249 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6792] ppid=6778 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 1523 0 0 0 37 0 0 0 20 0 15 0 9146720 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 18203 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 2.22 1.95 1.68 3/216 6794
/proc/meminfo: memFree=31564972/32770624 swapFree=0/180984
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=6.08 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 20587 0 0 0 602 6 0 0 20 0 15 0 9146715 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 19969 3193 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 9144 0 0 0 289 4 0 0 20 0 15 0 9146715 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139808871875376 139808511679355 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6784] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6784/stat : 6784 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139808465770896 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6785] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6785/stat : 6785 (java) S 6778 6778 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139808464718096 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6786] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6786/stat : 6786 (java) S 6778 6778 5228 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9146717 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807784385392 139808867650178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6787] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6787/stat : 6787 (java) S 6778 6778 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807783331360 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6788] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6788/stat : 6788 (java) S 6778 6778 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807782278512 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6789] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6789/stat : 6789 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146720 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807781226832 139808867657627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6790] ppid=6778 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/6780/task/6790/stat : 6790 (java) S 6778 6778 5228 0 -1 1077944384 4444 0 0 0 138 0 0 0 20 0 15 0 9146720 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807780174192 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6791] ppid=6778 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/6780/task/6791/stat : 6791 (java) S 6778 6778 5228 0 -1 1077944384 3937 0 0 0 134 0 0 0 20 0 15 0 9146720 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807779121392 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6792] ppid=6778 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 1686 0 0 0 40 0 0 0 20 0 15 0 9146720 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 19969 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.22 1.95 1.68 3/216 6794
/proc/meminfo: memFree=31204568/32770624 swapFree=0/180992
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=9.46 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 24175 0 0 0 939 7 0 0 20 0 15 0 9146715 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 23113 3196 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 9790 0 0 0 608 5 0 0 20 0 15 0 9146715 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139808871875712 139808512590790 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6784] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6784/stat : 6784 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139808465770896 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6785] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6785/stat : 6785 (java) S 6778 6778 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139808464718096 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6786] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6786/stat : 6786 (java) S 6778 6778 5228 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 9146717 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807784385392 139808867650178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6787] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6787/stat : 6787 (java) S 6778 6778 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807783331360 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6788] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6788/stat : 6788 (java) S 6778 6778 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807782278512 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6789] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6789/stat : 6789 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146720 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807781226832 139808867657627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6790] ppid=6778 vsize=13980732 CPUtime=1.43 cores=1,3,5,7
/proc/6780/task/6790/stat : 6790 (java) S 6778 6778 5228 0 -1 1077944384 5030 0 0 0 143 0 0 0 20 0 15 0 9146720 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807780174192 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6791] ppid=6778 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/6780/task/6791/stat : 6791 (java) R 6778 6778 5228 0 -1 4202560 4997 0 0 0 144 0 0 0 20 0 15 0 9146720 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807779121392 139808852537356 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6792] ppid=6778 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 2402 0 0 0 41 0 0 0 20 0 15 0 9146720 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 23113 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.04 1.92 1.67 4/216 6794
/proc/meminfo: memFree=30987880/32770624 swapFree=0/181012
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=15.93 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 25922 0 0 0 1586 7 0 0 20 0 15 0 9146715 14316269568 27745 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 27745 3196 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 10271 0 0 0 1248 5 0 0 20 0 15 0 9146715 14316269568 27745 18446744073709551615 4194304 4196468 140734156973600 139808871876376 139808511679181 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 27745 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 27745 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
################
# More data... #
################
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 4156 0 0 0 43 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 44.88
Current children cumulated vsize (KiB) 13990244
[startup+43.2006 s]
/proc/loadavg: 2.24 1.98 1.70 3/216 6795
/proc/meminfo: memFree=30901504/32770624 swapFree=0/181032
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=46.48 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 31226 0 0 0 4639 9 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 47802 3221 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=43.03 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 11437 0 0 0 4297 6 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808871875576 139808851979175 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6784] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6784/stat : 6784 (java) S 6778 6778 5228 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808465770896 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6785] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6785/stat : 6785 (java) S 6778 6778 5228 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808464718096 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6786] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6786/stat : 6786 (java) S 6778 6778 5228 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 15 0 9146717 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807784385392 139808867650178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6787] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6787/stat : 6787 (java) S 6778 6778 5228 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807783331360 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6788] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6788/stat : 6788 (java) S 6778 6778 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807782278512 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6789] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6789/stat : 6789 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807781226832 139808867657627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6790] ppid=6778 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6780/task/6790/stat : 6790 (java) S 6778 6778 5228 0 -1 1077944384 6386 0 0 0 147 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807780174192 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6791] ppid=6778 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6780/task/6791/stat : 6791 (java) S 6778 6778 5228 0 -1 1077944384 5770 0 0 0 149 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807779121392 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6792] ppid=6778 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 4156 0 0 0 43 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 46.48
Current children cumulated vsize (KiB) 13990244
[startup+44.0006 s]
/proc/loadavg: 2.24 1.98 1.70 3/216 6795
/proc/meminfo: memFree=30901504/32770624 swapFree=0/181032
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=47.29 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 31229 0 0 0 4720 9 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 47802 3221 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=43.83 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 11440 0 0 0 4377 6 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808871875576 139808511677953 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6784] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6784/stat : 6784 (java) S 6778 6778 5228 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808465770896 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6785] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6785/stat : 6785 (java) S 6778 6778 5228 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808464718096 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6786] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6786/stat : 6786 (java) S 6778 6778 5228 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 15 0 9146717 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807784385392 139808867650178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6787] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6787/stat : 6787 (java) S 6778 6778 5228 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807783331360 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6788] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6788/stat : 6788 (java) S 6778 6778 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807782278512 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6789] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6789/stat : 6789 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807781226832 139808867657627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6790] ppid=6778 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6780/task/6790/stat : 6790 (java) S 6778 6778 5228 0 -1 1077944384 6386 0 0 0 147 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807780174192 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6791] ppid=6778 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6780/task/6791/stat : 6791 (java) S 6778 6778 5228 0 -1 1077944384 5770 0 0 0 149 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807779121392 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6792] ppid=6778 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 4156 0 0 0 43 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 47.29
Current children cumulated vsize (KiB) 13990244
[startup+44.4006 s]
/proc/loadavg: 2.24 1.98 1.70 3/216 6795
/proc/meminfo: memFree=30901504/32770624 swapFree=0/181032
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=47.68 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 31232 0 0 0 4759 9 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 47802 3221 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=44.23 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 11443 0 0 0 4417 6 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808871875576 139808852849020 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6784] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6784/stat : 6784 (java) S 6778 6778 5228 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808465770896 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6785] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6785/stat : 6785 (java) S 6778 6778 5228 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808464718096 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6786] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6786/stat : 6786 (java) S 6778 6778 5228 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 15 0 9146717 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807784385392 139808867650178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6787] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6787/stat : 6787 (java) S 6778 6778 5228 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807783331360 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6788] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6788/stat : 6788 (java) S 6778 6778 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807782278512 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6789] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6789/stat : 6789 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807781226832 139808867657627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6790] ppid=6778 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6780/task/6790/stat : 6790 (java) S 6778 6778 5228 0 -1 1077944384 6386 0 0 0 147 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807780174192 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6791] ppid=6778 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6780/task/6791/stat : 6791 (java) S 6778 6778 5228 0 -1 1077944384 5770 0 0 0 149 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807779121392 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6792] ppid=6778 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 4156 0 0 0 43 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 47.68
Current children cumulated vsize (KiB) 13990244
[startup+44.6006 s]
/proc/loadavg: 2.24 1.98 1.70 3/216 6795
/proc/meminfo: memFree=30901504/32770624 swapFree=0/181032
[pid=6778] ppid=6775 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6778/stat : 6778 (xcsp3-exec) S 6775 6778 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9146707 9740288 345 18446744073709551615 4194304 5098028 140737096900704 140737096898808 140307958059644 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 33468416 140737096909212 140737096909415 140737096909415 140737096912875 0
/proc/6778/statm: 2378 345 289 221 0 87 0
[pid=6780] ppid=6778 vsize=13980732 CPUtime=47.88 cores=1,3,5,7
/proc/6780/stat : 6780 (java) S 6778 6778 5228 0 -1 1077944320 31233 0 0 0 4779 9 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 140734156956144 139808867639031 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
/proc/6780/statm: 3495183 47802 3221 1 0 3483484 0
[pid=6780/tid=6781] ppid=6778 vsize=13980732 CPUtime=44.43 cores=1,3,5,7
/proc/6780/task/6781/stat : 6781 (java) R 6778 6778 5228 0 -1 4202560 11444 0 0 0 4437 6 0 0 20 0 15 0 9146715 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808871875576 139808511677915 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6782] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6782/stat : 6782 (java) S 6778 6778 5228 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808837352080 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6783] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6783/stat : 6783 (java) S 6778 6778 5228 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808466823696 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6784] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6784/stat : 6784 (java) S 6778 6778 5228 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808465770896 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6785] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6785/stat : 6785 (java) S 6778 6778 5228 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 9146716 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139808464718096 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6786] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6786/stat : 6786 (java) S 6778 6778 5228 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 15 0 9146717 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807784385392 139808867650178 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6787] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6787/stat : 6787 (java) S 6778 6778 5228 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807783331360 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6788] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6788/stat : 6788 (java) S 6778 6778 5228 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9146718 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807782278512 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6789] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6789/stat : 6789 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807781226832 139808867657627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6790] ppid=6778 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/6780/task/6790/stat : 6790 (java) S 6778 6778 5228 0 -1 1077944384 6386 0 0 0 147 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807780174192 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6791] ppid=6778 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/6780/task/6791/stat : 6791 (java) S 6778 6778 5228 0 -1 1077944384 5770 0 0 0 149 1 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807779121392 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6792] ppid=6778 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/6780/task/6792/stat : 6792 (java) S 6778 6778 5228 0 -1 1077944384 4156 0 0 0 43 0 0 0 20 0 15 0 9146720 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807778068592 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6793] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6793/stat : 6793 (java) S 6778 6778 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9146721 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807777016032 139808867649237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
[pid=6780/tid=6794] ppid=6778 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6780/task/6794/stat : 6794 (java) S 6778 6778 5228 0 -1 1077944384 544 0 0 0 0 0 0 0 20 0 15 0 9146728 14316269568 47802 18446744073709551615 4194304 4196468 140734156973600 139807775964336 139808867650178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12632064 140734156980692 140734156980867 140734156980867 140734156984271 0
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 44.6438
CPU time (s): 47.9369
CPU user time (s): 47.8358
CPU system time (s): 0.101105
CPU usage (%): 107.376
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.8358
system time used= 0.101105
maximum resident set size= 191400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3010
involuntary context switches= 56
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179393 second user time and 0.269808 second system time
The end