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-4255214-1501985489/watcher-4255214-1501985489 -o /tmp/evaluation-result-4255214-1501985489/solver-4255214-1501985489 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1389058548 HOME/instance-4255214-1501985489.xml
pid=6728
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: 1.92 1.79 1.87 3/200 6731
/proc/meminfo: memFree=31347808/32770624 swapFree=0/288244
[pid=6731] ppid=6728 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (runsolver) D 6728 6731 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46364154 24240128 108 18446744073709551615 4194304 4338465 140724753526992 140724753524632 140660719485655 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 38326272 140724753530978 140724753531468 140724753531468 140724753534922 0
/proc/6731/statm: 5918 108 54 36 0 2156 0
[startup+0.100203 s]
/proc/loadavg: 1.92 1.79 1.87 3/200 6731
/proc/meminfo: memFree=31347808/32770624 swapFree=0/288244
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200227 s]
/proc/loadavg: 1.92 1.79 1.87 3/200 6731
/proc/meminfo: memFree=31347808/32770624 swapFree=0/288244
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300395 s]
/proc/loadavg: 1.92 1.79 1.87 3/200 6731
/proc/meminfo: memFree=31347808/32770624 swapFree=0/288244
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700288 s]
/proc/loadavg: 1.92 1.79 1.87 3/200 6731
/proc/meminfo: memFree=31347808/32770624 swapFree=0/288244
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.92 1.79 1.87 3/216 6747
/proc/meminfo: memFree=31254652/32770624 swapFree=0/288244
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 12675 0 0 0 184 5 0 0 20 0 15 0 46364164 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 40136 3156 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) R 6731 6731 30500 0 -1 4202560 8538 0 0 0 130 4 0 0 20 0 15 0 46364164 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449751042536 140449342736320 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46364165 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46364165 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6737] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6737/stat : 6737 (java) S 6731 6731 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46364165 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449664112912 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6738] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6738/stat : 6738 (java) S 6731 6731 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46364165 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449663060368 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6739] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6739/stat : 6739 (java) S 6731 6731 30500 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 46364166 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449224829680 140449746815618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6740] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6740/stat : 6740 (java) S 6731 6731 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449223775904 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6741] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6741/stat : 6741 (java) S 6731 6731 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449222722800 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6742] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6742/stat : 6742 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449221671376 140449746823067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6743] ppid=6731 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/6733/task/6743/stat : 6743 (java) S 6731 6731 30500 0 -1 1077944384 408 0 0 0 14 0 0 0 20 0 15 0 46364169 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449220618480 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6744] ppid=6731 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/6733/task/6744/stat : 6744 (java) S 6731 6731 30500 0 -1 1077944384 977 0 0 0 16 0 0 0 20 0 15 0 46364169 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449219565936 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6745] ppid=6731 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/6733/task/6745/stat : 6745 (java) S 6731 6731 30500 0 -1 1077944384 1430 0 0 0 22 0 0 0 20 0 15 0 46364169 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 40136 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 1.85 1.77 1.86 3/216 6747
/proc/meminfo: memFree=31090480/32770624 swapFree=0/288288
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=3.96 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 15051 0 0 0 362 34 0 0 20 0 15 0 46364164 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 98762 3181 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=2.69 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) R 6731 6731 30500 0 -1 4202560 8600 0 0 0 265 4 0 0 20 0 15 0 46364164 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449751042592 140449342736340 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 467 0 0 0 9 7 0 0 20 0 15 0 46364165 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 281 0 0 0 9 6 0 0 20 0 15 0 46364165 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6737] ppid=6731 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/6733/task/6737/stat : 6737 (java) S 6731 6731 30500 0 -1 1077944384 280 0 0 0 10 6 0 0 20 0 15 0 46364165 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449664112912 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6738] ppid=6731 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/6733/task/6738/stat : 6738 (java) S 6731 6731 30500 0 -1 1077944384 272 0 0 0 9 7 0 0 20 0 15 0 46364165 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449663060368 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6739] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6739/stat : 6739 (java) S 6731 6731 30500 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 46364166 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449224829680 140449746815618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6740] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6740/stat : 6740 (java) S 6731 6731 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449223775904 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6741] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6741/stat : 6741 (java) S 6731 6731 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449222722800 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6742] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6742/stat : 6742 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449221671376 140449746823067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6743] ppid=6731 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/6733/task/6743/stat : 6743 (java) S 6731 6731 30500 0 -1 1077944384 408 0 0 0 14 0 0 0 20 0 15 0 46364169 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449220618480 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6744] ppid=6731 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/6733/task/6744/stat : 6744 (java) S 6731 6731 30500 0 -1 1077944384 977 0 0 0 16 0 0 0 20 0 15 0 46364169 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449219565936 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6745] ppid=6731 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/6733/task/6745/stat : 6745 (java) R 6731 6731 30500 0 -1 4202560 2120 0 0 0 24 0 0 0 20 0 15 0 46364169 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746825818 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 98762 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.85 1.77 1.86 3/216 6747
/proc/meminfo: memFree=30590064/32770624 swapFree=0/288300
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=8.56 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 33153 0 0 0 793 63 0 0 20 0 15 0 46364164 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 191892 3197 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=4.66 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) R 6731 6731 30500 0 -1 4202560 8682 0 0 0 460 6 0 0 20 0 15 0 46364164 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449751042760 140449342736340 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 4670 0 0 0 48 14 0 0 20 0 15 0 46364165 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 4128 0 0 0 49 13 0 0 20 0 15 0 46364165 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6737] ppid=6731 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/6733/task/6737/stat : 6737 (java) S 6731 6731 30500 0 -1 1077944384 3875 0 0 0 48 13 0 0 20 0 15 0 46364165 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449664112912 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6738] ppid=6731 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/6733/task/6738/stat : 6738 (java) S 6731 6731 30500 0 -1 1077944384 5063 0 0 0 49 13 0 0 20 0 15 0 46364165 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449663060368 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6739] ppid=6731 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/6733/task/6739/stat : 6739 (java) S 6731 6731 30500 0 -1 1077944384 1475 0 0 0 76 0 0 0 20 0 15 0 46364166 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449224829680 140449746815618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6740] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6740/stat : 6740 (java) S 6731 6731 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449223775904 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6741] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6741/stat : 6741 (java) S 6731 6731 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449222722800 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6742] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6742/stat : 6742 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449221671376 140449746823067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6743] ppid=6731 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/6733/task/6743/stat : 6743 (java) S 6731 6731 30500 0 -1 1077944384 408 0 0 0 14 0 0 0 20 0 15 0 46364169 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449220618480 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6744] ppid=6731 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/6733/task/6744/stat : 6744 (java) S 6731 6731 30500 0 -1 1077944384 1261 0 0 0 18 0 0 0 20 0 15 0 46364169 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449219565936 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6745] ppid=6731 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/6733/task/6745/stat : 6745 (java) S 6731 6731 30500 0 -1 1077944384 2173 0 0 0 26 0 0 0 20 0 15 0 46364169 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 191892 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.03 1.81 1.88 3/215 6747
/proc/meminfo: memFree=29998300/32770624 swapFree=0/288308
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=17.45 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 38784 0 0 0 1611 134 0 0 20 0 15 0 46364164 14316269568 337581 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 337581 3209 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=9.78 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) R 6731 6731 30500 0 -1 4202560 9196 0 0 0 972 6 0 0 20 0 15 0 46364164 14316269568 337581 18446744073709551615 4194304 4196468 140721325829712 140449751039680 140449342736340 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=1.43 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 5016 0 0 0 112 31 0 0 20 0 15 0 46364165 14316269568 337581 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=1.43 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 5244 0 0 0 112 31 0 0 20 0 15 0 46364165 14316269568 337581 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
################
# More data... #
################
/proc/6733/task/6745/stat : 6745 (java) S 6731 6731 30500 0 -1 1077944384 3258 0 0 0 31 0 0 0 20 0 15 0 46364169 14316269568 446278 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 446278 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 446278 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 21.45
Current children cumulated vsize (KiB) 13990244
[startup+19.2006 s]
/proc/loadavg: 2.03 1.82 1.88 3/215 6747
/proc/meminfo: memFree=28848108/32770624 swapFree=0/288316
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=28.82 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 55618 0 0 0 2625 257 0 0 20 0 15 0 46364164 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 623800 3209 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=13.48 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) S 6731 6731 30500 0 -1 1077944384 9254 0 0 0 1340 8 0 0 20 0 15 0 46364164 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449751042928 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 9155 0 0 0 243 61 0 0 20 0 15 0 46364165 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=3.06 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 15088 0 0 0 246 60 0 0 20 0 15 0 46364165 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6737] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6737/stat : 6737 (java) S 6731 6731 30500 0 -1 1077944384 5630 0 0 0 245 60 0 0 20 0 15 0 46364165 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449664112912 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6738] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6738/stat : 6738 (java) S 6731 6731 30500 0 -1 1077944384 7675 0 0 0 241 64 0 0 20 0 15 0 46364165 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449663060368 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6739] ppid=6731 vsize=13980732 CPUtime=2.4 cores=1,3,5,7
/proc/6733/task/6739/stat : 6739 (java) R 6731 6731 30500 0 -1 4202560 2421 0 0 0 240 0 0 0 20 0 15 0 46364166 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449224828112 140449731505138 0 0 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6740] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6740/stat : 6740 (java) S 6731 6731 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449223775904 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6741] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6741/stat : 6741 (java) S 6731 6731 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449222722800 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6742] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6742/stat : 6742 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449221671376 140449746823067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6743] ppid=6731 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/6733/task/6743/stat : 6743 (java) S 6731 6731 30500 0 -1 1077944384 442 0 0 0 15 0 0 0 20 0 15 0 46364169 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449220618480 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6744] ppid=6731 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/6733/task/6744/stat : 6744 (java) S 6731 6731 30500 0 -1 1077944384 1273 0 0 0 19 0 0 0 20 0 15 0 46364169 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449219565936 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6745] ppid=6731 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/6733/task/6745/stat : 6745 (java) S 6731 6731 30500 0 -1 1077944384 3262 0 0 0 31 0 0 0 20 0 15 0 46364169 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 623800 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 28.82
Current children cumulated vsize (KiB) 13990244
[startup+20.8007 s]
/proc/loadavg: 2.03 1.82 1.88 3/215 6747
/proc/meminfo: memFree=28842340/32770624 swapFree=0/288316
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=30.77 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 69735 0 0 0 2818 259 0 0 20 0 15 0 46364164 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 625514 3226 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=14.54 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) R 6731 6731 30500 0 -1 4202560 17846 0 0 0 1445 9 0 0 20 0 15 0 46364164 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449751041456 140449343785462 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 9158 0 0 0 243 61 0 0 20 0 15 0 46364165 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=3.06 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 15090 0 0 0 246 60 0 0 20 0 15 0 46364165 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6737] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6737/stat : 6737 (java) S 6731 6731 30500 0 -1 1077944384 5633 0 0 0 245 60 0 0 20 0 15 0 46364165 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449664112912 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6738] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6738/stat : 6738 (java) S 6731 6731 30500 0 -1 1077944384 7678 0 0 0 241 64 0 0 20 0 15 0 46364165 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449663060368 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6739] ppid=6731 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/6733/task/6739/stat : 6739 (java) S 6731 6731 30500 0 -1 1077944384 4754 0 0 0 293 0 0 0 20 0 15 0 46364166 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449224829680 140449746815618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6740] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6740/stat : 6740 (java) S 6731 6731 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449223775904 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6741] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6741/stat : 6741 (java) S 6731 6731 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449222722800 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6742] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6742/stat : 6742 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449221671376 140449746823067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6743] ppid=6731 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/6733/task/6743/stat : 6743 (java) S 6731 6731 30500 0 -1 1077944384 1078 0 0 0 25 0 0 0 20 0 15 0 46364169 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449220618480 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6744] ppid=6731 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/6733/task/6744/stat : 6744 (java) S 6731 6731 30500 0 -1 1077944384 2040 0 0 0 35 0 0 0 20 0 15 0 46364169 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449219565936 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6745] ppid=6731 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/6733/task/6745/stat : 6745 (java) S 6731 6731 30500 0 -1 1077944384 5012 0 0 0 40 0 0 0 20 0 15 0 46364169 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 625514 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 30.77
Current children cumulated vsize (KiB) 13990244
[startup+21.6007 s]
/proc/loadavg: 2.03 1.82 1.88 3/215 6747
/proc/meminfo: memFree=28836944/32770624 swapFree=0/288316
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=31.74 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 70408 0 0 0 2914 260 0 0 20 0 15 0 46364164 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 626194 3230 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=15.34 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) R 6731 6731 30500 0 -1 4202560 17855 0 0 0 1525 9 0 0 20 0 15 0 46364164 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449751040304 140449344138819 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 9158 0 0 0 243 61 0 0 20 0 15 0 46364165 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=3.06 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 15090 0 0 0 246 60 0 0 20 0 15 0 46364165 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6737] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6737/stat : 6737 (java) S 6731 6731 30500 0 -1 1077944384 5633 0 0 0 245 60 0 0 20 0 15 0 46364165 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449664112912 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6738] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6738/stat : 6738 (java) S 6731 6731 30500 0 -1 1077944384 7678 0 0 0 241 64 0 0 20 0 15 0 46364165 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449663060368 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6739] ppid=6731 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/6733/task/6739/stat : 6739 (java) S 6731 6731 30500 0 -1 1077944384 4754 0 0 0 293 0 0 0 20 0 15 0 46364166 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449224829680 140449746815618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6740] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6740/stat : 6740 (java) S 6731 6731 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449223775904 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6741] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6741/stat : 6741 (java) S 6731 6731 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449222722800 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6742] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6742/stat : 6742 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449221671376 140449746823067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6743] ppid=6731 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/6733/task/6743/stat : 6743 (java) S 6731 6731 30500 0 -1 1077944384 1717 0 0 0 34 0 0 0 20 0 15 0 46364169 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449220618480 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6744] ppid=6731 vsize=13980732 CPUtime=0.41 cores=1,3,5,7
/proc/6733/task/6744/stat : 6744 (java) S 6731 6731 30500 0 -1 1077944384 2064 0 0 0 41 0 0 0 20 0 15 0 46364169 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449219565936 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6745] ppid=6731 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/6733/task/6745/stat : 6745 (java) S 6731 6731 30500 0 -1 1077944384 5013 0 0 0 40 0 0 0 20 0 15 0 46364169 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 626194 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 31.74
Current children cumulated vsize (KiB) 13990244
[startup+22.0007 s]
/proc/loadavg: 2.03 1.82 1.88 3/215 6747
/proc/meminfo: memFree=28828240/32770624 swapFree=0/288316
[pid=6731] ppid=6728 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6731/stat : 6731 (xcsp3-exec) S 6728 6731 30500 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 46364154 9740288 345 18446744073709551615 4194304 5098028 140731729966592 140731729964696 139711686062716 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26337280 140731729973665 140731729973869 140731729973869 140731729977323 0
/proc/6731/statm: 2378 345 289 221 0 87 0
[pid=6733] ppid=6731 vsize=13980732 CPUtime=32.84 cores=1,3,5,7
/proc/6733/stat : 6733 (java) S 6731 6731 30500 0 -1 1077944320 71844 0 0 0 3024 260 0 0 20 0 15 0 46364164 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140721325812256 140449746804471 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
/proc/6733/statm: 3495183 627394 3235 1 0 3483476 0
[pid=6733/tid=6734] ppid=6731 vsize=13980732 CPUtime=15.75 cores=1,3,5,7
/proc/6733/task/6734/stat : 6734 (java) R 6731 6731 30500 0 -1 4202560 18114 0 0 0 1566 9 0 0 20 0 15 0 46364164 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449751042416 140449343785401 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6735] ppid=6731 vsize=13980732 CPUtime=3.04 cores=1,3,5,7
/proc/6733/task/6735/stat : 6735 (java) S 6731 6731 30500 0 -1 1077944384 9158 0 0 0 243 61 0 0 20 0 15 0 46364165 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449666218512 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6736] ppid=6731 vsize=13980732 CPUtime=3.06 cores=1,3,5,7
/proc/6733/task/6736/stat : 6736 (java) S 6731 6731 30500 0 -1 1077944384 15090 0 0 0 246 60 0 0 20 0 15 0 46364165 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449665165968 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6737] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6737/stat : 6737 (java) S 6731 6731 30500 0 -1 1077944384 5633 0 0 0 245 60 0 0 20 0 15 0 46364165 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449664112912 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6738] ppid=6731 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/6733/task/6738/stat : 6738 (java) S 6731 6731 30500 0 -1 1077944384 7678 0 0 0 241 64 0 0 20 0 15 0 46364165 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449663060368 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6739] ppid=6731 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/6733/task/6739/stat : 6739 (java) S 6731 6731 30500 0 -1 1077944384 4754 0 0 0 293 0 0 0 20 0 15 0 46364166 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449224829680 140449746815618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6740] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6740/stat : 6740 (java) S 6731 6731 30500 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449223775904 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6741] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6741/stat : 6741 (java) S 6731 6731 30500 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 46364167 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449222722800 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6742] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6742/stat : 6742 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449221671376 140449746823067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6743] ppid=6731 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/6733/task/6743/stat : 6743 (java) S 6731 6731 30500 0 -1 1077944384 2071 0 0 0 66 0 0 0 20 0 15 0 46364169 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449220618480 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6744] ppid=6731 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/6733/task/6744/stat : 6744 (java) S 6731 6731 30500 0 -1 1077944384 2743 0 0 0 71 0 0 0 20 0 15 0 46364169 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449219565936 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6745] ppid=6731 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/6733/task/6745/stat : 6745 (java) S 6731 6731 30500 0 -1 1077944384 5157 0 0 0 49 1 0 0 20 0 15 0 46364169 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449218512880 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6746] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6746/stat : 6746 (java) S 6731 6731 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46364169 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449217460576 140449746814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
[pid=6733/tid=6747] ppid=6731 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6733/task/6747/stat : 6747 (java) S 6731 6731 30500 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 46364175 14316269568 627394 18446744073709551615 4194304 4196468 140721325829712 140449216408624 140449746815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 11685888 140721325834714 140721325834889 140721325834889 140721325838287 0
Current children cumulated CPU time (s) 32.84
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 22.0573
CPU time (s): 32.9325
CPU user time (s): 30.3059
CPU system time (s): 2.62662
CPU usage (%): 149.304
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3059
system time used= 2.62662
maximum resident set size= 2510464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3302
involuntary context switches= 161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096873 second user time and 0.156246 second system time
The end