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-4246928-1500688987/watcher-4246928-1500688987 -o /tmp/evaluation-result-4246928-1500688987/solver-4246928-1500688987 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2018597188 HOME/instance-4246928-1500688987.xml
pid=30131
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 9.76 12.96 13.98 10/273 30134
/proc/meminfo: memFree=28332648/32770624 swapFree=5808/103076
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
[startup+0.100106 s]
/proc/loadavg: 9.76 12.96 13.98 10/273 30134
/proc/meminfo: memFree=28332648/32770624 swapFree=5808/103076
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200329 s]
/proc/loadavg: 9.76 12.96 13.98 10/273 30134
/proc/meminfo: memFree=28332648/32770624 swapFree=5808/103076
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300316 s]
/proc/loadavg: 9.76 12.96 13.98 10/273 30134
/proc/meminfo: memFree=28332648/32770624 swapFree=5808/103076
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700262 s]
/proc/loadavg: 9.76 12.96 13.98 10/273 30134
/proc/meminfo: memFree=28332648/32770624 swapFree=5808/103076
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50124 s]
/proc/loadavg: 9.78 12.91 13.96 14/294 30155
/proc/meminfo: memFree=28197936/32770624 swapFree=5808/103088
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
[pid=30135] ppid=30134 vsize=13269256 CPUtime=5.29 cores=1,3,5,7,9,11,13,15
/proc/30135/stat : 30135 (java) S 30134 30134 15196 0 -1 1077944320 24121 0 0 0 517 12 0 0 20 0 20 0 4163787 13587718144 52629 33554432000 4194304 4196468 140732856808480 140732856791024 140584474660599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
/proc/30135/statm: 3317314 52629 3237 1 0 3304547 0
[pid=30135/tid=30136] ppid=30134 vsize=13269256 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30136/stat : 30136 (java) R 30134 30134 15196 0 -1 4202560 8321 0 0 0 140 5 0 0 20 0 20 0 4163788 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584478896984 140584474682525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30138] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30138/stat : 30138 (java) S 30134 30134 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584073779472 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30139] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30139/stat : 30139 (java) S 30134 30134 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584072726928 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30140] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30140/stat : 30140 (java) S 30134 30134 15196 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584071674384 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30141] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30141/stat : 30141 (java) S 30134 30134 15196 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584070621840 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30142] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30142/stat : 30142 (java) S 30134 30134 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584069569296 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30143] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30143/stat : 30143 (java) S 30134 30134 15196 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584068516752 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30144] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30144/stat : 30144 (java) S 30134 30134 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584067464208 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30145] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30145/stat : 30145 (java) S 30134 30134 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4163789 13587718144 52629 33554432000 4194304 4196468 140732856808480 140584066411664 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30146] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30146/stat : 30146 (java) S 30134 30134 15196 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 4163791 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583668516848 140584474671746 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30147] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30147/stat : 30147 (java) S 30134 30134 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4163792 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583667463072 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30148] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30148/stat : 30148 (java) S 30134 30134 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4163792 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583666410480 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30149] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30149/stat : 30149 (java) S 30134 30134 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4163796 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583665359056 140584474679195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30150] ppid=30134 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30150/stat : 30150 (java) R 30134 30134 15196 0 -1 4202560 4289 0 0 0 102 1 0 0 20 0 20 0 4163796 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583664299712 140584456204833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30151] ppid=30134 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30151/stat : 30151 (java) R 30134 30134 15196 0 -1 4202560 3107 0 0 0 97 0 0 0 20 0 20 0 4163796 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583663235144 140584458566788 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30152] ppid=30134 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30152/stat : 30152 (java) R 30134 30134 15196 0 -1 4202560 3598 0 0 0 102 0 0 0 20 0 20 0 4163796 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583662192448 140584453881081 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30153] ppid=30134 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30153/stat : 30153 (java) S 30134 30134 15196 0 -1 1077944384 3078 0 0 0 68 1 0 0 20 0 20 0 4163796 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583661149040 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30154] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30154/stat : 30154 (java) S 30134 30134 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4163797 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583660095712 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30155] ppid=30134 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30155/stat : 30155 (java) S 30134 30134 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4163797 13587718144 52629 33554432000 4194304 4196468 140732856808480 140583659043248 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13278768
[startup+3.10157 s]
/proc/loadavg: 9.78 12.91 13.96 18/302 30163
/proc/meminfo: memFree=27945744/32770624 swapFree=5808/103136
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
[pid=30135] ppid=30134 vsize=13801768 CPUtime=15.55 cores=1,3,5,7,9,11,13,15
/proc/30135/stat : 30135 (java) S 30134 30134 15196 0 -1 1077944320 32568 0 0 0 1524 31 0 0 20 0 28 0 4163787 14133010432 100516 33554432000 4194304 4196468 140732856808480 140732856791024 140584474660599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
/proc/30135/statm: 3450442 100516 3268 1 0 3437675 0
[pid=30135/tid=30136] ppid=30134 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30136/stat : 30136 (java) S 30134 30134 15196 0 -1 1077944384 8474 0 0 0 193 6 0 0 20 0 28 0 4163788 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584478901376 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30138] ppid=30134 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30138/stat : 30138 (java) S 30134 30134 15196 0 -1 1077944384 39 0 0 0 3 2 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584073779472 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30139] ppid=30134 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30139/stat : 30139 (java) S 30134 30134 15196 0 -1 1077944384 56 0 0 0 3 2 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584072726928 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30140] ppid=30134 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30140/stat : 30140 (java) S 30134 30134 15196 0 -1 1077944384 127 0 0 0 4 1 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584071674384 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30141] ppid=30134 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30141/stat : 30141 (java) S 30134 30134 15196 0 -1 1077944384 89 0 0 0 4 2 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584070621840 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30142] ppid=30134 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30142/stat : 30142 (java) S 30134 30134 15196 0 -1 1077944384 64 0 0 0 3 2 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584069569296 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30143] ppid=30134 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30143/stat : 30143 (java) S 30134 30134 15196 0 -1 1077944384 94 0 0 0 4 2 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584068516752 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30144] ppid=30134 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30144/stat : 30144 (java) S 30134 30134 15196 0 -1 1077944384 51 0 0 0 3 1 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584067464208 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30145] ppid=30134 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30145/stat : 30145 (java) S 30134 30134 15196 0 -1 1077944384 65 0 0 0 3 1 0 0 20 0 28 0 4163789 14133010432 100516 33554432000 4194304 4196468 140732856808480 140584066411664 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30146] ppid=30134 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30146/stat : 30146 (java) S 30134 30134 15196 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 28 0 4163791 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583668516848 140584474671746 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30147] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30147/stat : 30147 (java) S 30134 30134 15196 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583667463136 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30148] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30148/stat : 30148 (java) S 30134 30134 15196 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583666410496 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30149] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30149/stat : 30149 (java) S 30134 30134 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4163796 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583665359056 140584474679195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30150] ppid=30134 vsize=13801768 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30150/stat : 30150 (java) R 30134 30134 15196 0 -1 4202560 5485 0 0 0 230 1 0 0 20 0 28 0 4163796 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583664290112 140584460263339 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30151] ppid=30134 vsize=13801768 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30151/stat : 30151 (java) R 30134 30134 15196 0 -1 4202560 5574 0 0 0 227 1 0 0 20 0 28 0 4163796 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583663254048 140584460677427 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30152] ppid=30134 vsize=13801768 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30152/stat : 30152 (java) R 30134 30134 15196 0 -1 4202560 5533 0 0 0 215 1 0 0 20 0 28 0 4163796 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583662201584 140584452663120 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30153] ppid=30134 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30153/stat : 30153 (java) R 30134 30134 15196 0 -1 4202560 4553 0 0 0 102 2 0 0 20 0 28 0 4163796 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583661149040 140584453611561 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30154] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30154/stat : 30154 (java) S 30134 30134 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4163797 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583660095712 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30155] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30155/stat : 30155 (java) S 30134 30134 15196 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4163797 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583659043248 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30156] ppid=30134 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30156/stat : 30156 (java) R 30134 30134 15196 0 -1 4202560 88 0 0 0 61 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583651028584 140584102599168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30157] ppid=30134 vsize=13801768 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30157/stat : 30157 (java) R 30134 30134 15196 0 -1 4202560 86 0 0 0 57 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583649975936 140584094588027 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30158] ppid=30134 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30158/stat : 30158 (java) R 30134 30134 15196 0 -1 4202560 68 0 0 0 58 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583648924248 140584103025785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30159] ppid=30134 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30159/stat : 30159 (java) R 30134 30134 15196 0 -1 4202560 166 0 0 0 74 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583647871336 140584102781024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30160] ppid=30134 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30160/stat : 30160 (java) R 30134 30134 15196 0 -1 4202560 35 0 0 0 72 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583646819480 140584102652928 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30161] ppid=30134 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30161/stat : 30161 (java) R 30134 30134 15196 0 -1 4202560 127 0 0 0 55 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583645766816 140584103026820 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30162] ppid=30134 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30162/stat : 30162 (java) R 30134 30134 15196 0 -1 4202560 65 0 0 0 65 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583644713256 140584094609709 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30163] ppid=30134 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30163/stat : 30163 (java) R 30134 30134 15196 0 -1 4202560 87 0 0 0 75 0 0 0 20 0 28 0 4163999 14133010432 100516 33554432000 4194304 4196468 140732856808480 140583643660472 140584102069851 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
Current children cumulated CPU time (s) 15.55
Current children cumulated vsize (KiB) 13811280
[startup+6.30162 s]
/proc/loadavg: 10.20 12.95 13.97 18/302 30163
/proc/meminfo: memFree=27904228/32770624 swapFree=5808/103148
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
[pid=30135] ppid=30134 vsize=13801768 CPUtime=40.97 cores=1,3,5,7,9,11,13,15
/proc/30135/stat : 30135 (java) S 30134 30134 15196 0 -1 1077944320 33936 0 0 0 4053 44 0 0 20 0 28 0 4163787 14133010432 109886 33554432000 4194304 4196468 140732856808480 140732856791024 140584474660599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
/proc/30135/statm: 3450442 109886 3277 1 0 3437675 0
[pid=30135/tid=30136] ppid=30134 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30136/stat : 30136 (java) S 30134 30134 15196 0 -1 1077944384 8474 0 0 0 193 6 0 0 20 0 28 0 4163788 14133010432 109886 33554432000 4194304 4196468 140732856808480 140584478901376 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30138] ppid=30134 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30138/stat : 30138 (java) S 30134 30134 15196 0 -1 1077944384 111 0 0 0 5 3 0 0 20 0 28 0 4163789 14133010432 109886 33554432000 4194304 4196468 140732856808480 140584073779472 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30139] ppid=30134 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30139/stat : 30139 (java) S 30134 30134 15196 0 -1 1077944384 72 0 0 0 5 3 0 0 20 0 28 0 4163789 14133010432 109886 33554432000 4194304 4196468 140732856808480 140584072726928 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30140] ppid=30134 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30140/stat : 30140 (java) S 30134 30134 15196 0 -1 1077944384 167 0 0 0 8 3 0 0 20 0 28 0 4163789 14133010432 109886 33554432000 4194304 4196468 140732856808480 140584071674384 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30141] ppid=30134 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30141/stat : 30141 (java) S 30134 30134 15196 0 -1 1077944384 164 0 0 0 6 3 0 0 20 0 28 0 4163789 14133010432 109886 33554432000 4194304 4196468 140732856808480 140584070621840 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
################
# More data... #
################
/proc/30135/task/30147/stat : 30147 (java) S 30134 30134 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583667463136 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30148] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30148/stat : 30148 (java) S 30134 30134 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583666410496 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30149] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30149/stat : 30149 (java) S 30134 30134 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4163796 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583665359056 140584474679195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30150] ppid=30134 vsize=13801768 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30150/stat : 30150 (java) S 30134 30134 15196 0 -1 1077944384 6998 0 0 0 296 1 0 0 20 0 28 0 4163796 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583664306672 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30151] ppid=30134 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30151/stat : 30151 (java) S 30134 30134 15196 0 -1 1077944384 7419 0 0 0 282 1 0 0 20 0 28 0 4163796 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583663254128 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30152] ppid=30134 vsize=13801768 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30152/stat : 30152 (java) S 30134 30134 15196 0 -1 1077944384 8729 0 0 0 276 1 0 0 20 0 28 0 4163796 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583662201584 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30153] ppid=30134 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30153/stat : 30153 (java) S 30134 30134 15196 0 -1 1077944384 6262 0 0 0 112 2 0 0 20 0 28 0 4163796 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583661149040 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30154] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30154/stat : 30154 (java) S 30134 30134 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4163797 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583660095712 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30155] ppid=30134 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30155/stat : 30155 (java) S 30134 30134 15196 0 -1 1077944384 360 0 0 0 1 1 0 0 20 0 28 0 4163797 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583659043248 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30156] ppid=30134 vsize=13801768 CPUtime=35.54 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30156/stat : 30156 (java) S 30134 30134 15196 0 -1 1077944384 563 0 0 0 3554 0 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583651027904 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30157] ppid=30134 vsize=13801768 CPUtime=35.28 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30157/stat : 30157 (java) S 30134 30134 15196 0 -1 1077944384 496 0 0 0 3528 0 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583649976352 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30158] ppid=30134 vsize=13801768 CPUtime=35.55 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30158/stat : 30158 (java) S 30134 30134 15196 0 -1 1077944384 1344 0 0 0 3552 3 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583648923904 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30159] ppid=30134 vsize=13801768 CPUtime=35.72 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30159/stat : 30159 (java) S 30134 30134 15196 0 -1 1077944384 1088 0 0 0 3570 2 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583647871264 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30160] ppid=30134 vsize=13801768 CPUtime=35.04 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30160/stat : 30160 (java) S 30134 30134 15196 0 -1 1077944384 666 0 0 0 3503 1 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583646821216 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30161] ppid=30134 vsize=13801768 CPUtime=35.47 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30161/stat : 30161 (java) S 30134 30134 15196 0 -1 1077944384 714 0 0 0 3547 0 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583645766272 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30162] ppid=30134 vsize=13801768 CPUtime=35.44 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30162/stat : 30162 (java) S 30134 30134 15196 0 -1 1077944384 293 0 0 0 3544 0 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583644712704 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30163] ppid=30134 vsize=13801768 CPUtime=35.54 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30163/stat : 30163 (java) S 30134 30134 15196 0 -1 1077944384 1118 0 0 0 3554 0 0 0 20 0 28 0 4163999 14133010432 170588 33554432000 4194304 4196468 140732856808480 140583643660096 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
Current children cumulated CPU time (s) 296.56
Current children cumulated vsize (KiB) 13811280
[startup+39.2016 s]
/proc/loadavg: 12.54 13.26 14.04 17/302 30163
/proc/meminfo: memFree=27546104/32770624 swapFree=5808/103180
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
[pid=30135] ppid=30134 vsize=13801768 CPUtime=302.89 cores=1,3,5,7,9,11,13,15
/proc/30135/stat : 30135 (java) S 30134 30134 15196 0 -1 1077944320 49816 0 0 0 30220 69 0 0 20 0 28 0 4163787 14133010432 170851 33554432000 4194304 4196468 140732856808480 140732856791024 140584474660599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
/proc/30135/statm: 3450442 170851 3278 1 0 3437675 0
[pid=30135/tid=30136] ppid=30134 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30136/stat : 30136 (java) S 30134 30134 15196 0 -1 1077944384 8474 0 0 0 193 6 0 0 20 0 28 0 4163788 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584478901376 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30138] ppid=30134 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30138/stat : 30138 (java) S 30134 30134 15196 0 -1 1077944384 189 0 0 0 7 4 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584073779472 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30139] ppid=30134 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30139/stat : 30139 (java) S 30134 30134 15196 0 -1 1077944384 115 0 0 0 7 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584072726928 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30140] ppid=30134 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30140/stat : 30140 (java) S 30134 30134 15196 0 -1 1077944384 292 0 0 0 10 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584071674384 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30141] ppid=30134 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30141/stat : 30141 (java) S 30134 30134 15196 0 -1 1077944384 438 0 0 0 8 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584070621840 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30142] ppid=30134 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30142/stat : 30142 (java) S 30134 30134 15196 0 -1 1077944384 124 0 0 0 7 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584069569296 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30143] ppid=30134 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30143/stat : 30143 (java) S 30134 30134 15196 0 -1 1077944384 166 0 0 0 8 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584068516752 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30144] ppid=30134 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30144/stat : 30144 (java) S 30134 30134 15196 0 -1 1077944384 1213 0 0 0 10 4 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584067464208 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30145] ppid=30134 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30145/stat : 30145 (java) S 30134 30134 15196 0 -1 1077944384 147 0 0 0 9 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584066411664 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30146] ppid=30134 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30146/stat : 30146 (java) S 30134 30134 15196 0 -1 1077944384 1149 0 0 0 2 1 0 0 20 0 28 0 4163791 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583668516848 140584474671746 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30147] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30147/stat : 30147 (java) S 30134 30134 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583667463136 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30148] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30148/stat : 30148 (java) S 30134 30134 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583666410496 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30149] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30149/stat : 30149 (java) S 30134 30134 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583665359056 140584474679195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30150] ppid=30134 vsize=13801768 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30150/stat : 30150 (java) S 30134 30134 15196 0 -1 1077944384 6998 0 0 0 296 1 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583664306672 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30151] ppid=30134 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30151/stat : 30151 (java) S 30134 30134 15196 0 -1 1077944384 7419 0 0 0 282 1 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583663254128 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30152] ppid=30134 vsize=13801768 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30152/stat : 30152 (java) S 30134 30134 15196 0 -1 1077944384 8729 0 0 0 276 1 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583662201584 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30153] ppid=30134 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30153/stat : 30153 (java) S 30134 30134 15196 0 -1 1077944384 6262 0 0 0 112 2 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583661149040 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30154] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30154/stat : 30154 (java) S 30134 30134 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4163797 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583660095712 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30155] ppid=30134 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30155/stat : 30155 (java) S 30134 30134 15196 0 -1 1077944384 360 0 0 0 1 1 0 0 20 0 28 0 4163797 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583659043248 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30156] ppid=30134 vsize=13801768 CPUtime=36.33 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30156/stat : 30156 (java) R 30134 30134 15196 0 -1 4202560 563 0 0 0 3633 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583651028040 140584102598013 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30157] ppid=30134 vsize=13801768 CPUtime=36.07 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30157/stat : 30157 (java) R 30134 30134 15196 0 -1 4202560 496 0 0 0 3607 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583649976488 140584102671502 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30158] ppid=30134 vsize=13801768 CPUtime=36.34 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30158/stat : 30158 (java) R 30134 30134 15196 0 -1 4202560 1347 0 0 0 3631 3 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583648924040 140584102069595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30159] ppid=30134 vsize=13801768 CPUtime=36.52 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30159/stat : 30159 (java) R 30134 30134 15196 0 -1 4202560 1088 0 0 0 3650 2 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583647871400 140584103488307 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30160] ppid=30134 vsize=13801768 CPUtime=35.79 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30160/stat : 30160 (java) R 30134 30134 15196 0 -1 4202560 681 0 0 0 3578 1 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583646821440 140584102225785 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30161] ppid=30134 vsize=13801768 CPUtime=36.26 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30161/stat : 30161 (java) R 30134 30134 15196 0 -1 4202560 812 0 0 0 3626 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583645766408 140584103026820 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30162] ppid=30134 vsize=13801768 CPUtime=36.23 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30162/stat : 30162 (java) R 30134 30134 15196 0 -1 4202560 293 0 0 0 3623 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583644712840 140584102069724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30163] ppid=30134 vsize=13801768 CPUtime=36.33 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30163/stat : 30163 (java) R 30134 30134 15196 0 -1 4202560 1118 0 0 0 3633 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583643659984 140584102598553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
Current children cumulated CPU time (s) 302.89
Current children cumulated vsize (KiB) 13811280
[startup+39.6016 s]
/proc/loadavg: 12.54 13.26 14.04 17/302 30163
/proc/meminfo: memFree=27546104/32770624 swapFree=5808/103180
[pid=30134] ppid=30131 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30134/stat : 30134 (xcsp3-exec) S 30131 30134 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4163787 9740288 346 33554432000 4194304 5098028 140727373260800 140727373258904 140586268811900 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 26456064 140727373264014 140727373264224 140727373264224 140727373266923 0
/proc/30134/statm: 2378 346 289 221 0 87 0
[pid=30135] ppid=30134 vsize=13801768 CPUtime=306.17 cores=1,3,5,7,9,11,13,15
/proc/30135/stat : 30135 (java) S 30134 30134 15196 0 -1 1077944320 49819 0 0 0 30548 69 0 0 20 0 28 0 4163787 14133010432 170851 33554432000 4194304 4196468 140732856808480 140732856791024 140584474660599 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
/proc/30135/statm: 3450442 170851 3278 1 0 3437675 0
[pid=30135/tid=30136] ppid=30134 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30136/stat : 30136 (java) S 30134 30134 15196 0 -1 1077944384 8474 0 0 0 193 6 0 0 20 0 28 0 4163788 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584478901376 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30138] ppid=30134 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30138/stat : 30138 (java) S 30134 30134 15196 0 -1 1077944384 189 0 0 0 7 4 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584073779472 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30139] ppid=30134 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30139/stat : 30139 (java) S 30134 30134 15196 0 -1 1077944384 115 0 0 0 7 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584072726928 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30140] ppid=30134 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30140/stat : 30140 (java) S 30134 30134 15196 0 -1 1077944384 292 0 0 0 10 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584071674384 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30141] ppid=30134 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30141/stat : 30141 (java) S 30134 30134 15196 0 -1 1077944384 438 0 0 0 8 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584070621840 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30142] ppid=30134 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30142/stat : 30142 (java) S 30134 30134 15196 0 -1 1077944384 124 0 0 0 7 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584069569296 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30143] ppid=30134 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30143/stat : 30143 (java) S 30134 30134 15196 0 -1 1077944384 166 0 0 0 8 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584068516752 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30144] ppid=30134 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30144/stat : 30144 (java) S 30134 30134 15196 0 -1 1077944384 1213 0 0 0 10 4 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584067464208 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30145] ppid=30134 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30145/stat : 30145 (java) S 30134 30134 15196 0 -1 1077944384 147 0 0 0 9 5 0 0 20 0 28 0 4163789 14133010432 170851 33554432000 4194304 4196468 140732856808480 140584066411664 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30146] ppid=30134 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30146/stat : 30146 (java) S 30134 30134 15196 0 -1 1077944384 1149 0 0 0 2 1 0 0 20 0 28 0 4163791 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583668516848 140584474671746 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30147] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30147/stat : 30147 (java) S 30134 30134 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583667463136 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30148] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30148/stat : 30148 (java) S 30134 30134 15196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4163792 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583666410496 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30149] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30149/stat : 30149 (java) S 30134 30134 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583665359056 140584474679195 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30150] ppid=30134 vsize=13801768 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30150/stat : 30150 (java) S 30134 30134 15196 0 -1 1077944384 6998 0 0 0 296 1 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583664306672 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30151] ppid=30134 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30151/stat : 30151 (java) S 30134 30134 15196 0 -1 1077944384 7419 0 0 0 282 1 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583663254128 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30152] ppid=30134 vsize=13801768 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30152/stat : 30152 (java) S 30134 30134 15196 0 -1 1077944384 8729 0 0 0 276 1 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583662201584 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30153] ppid=30134 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30153/stat : 30153 (java) S 30134 30134 15196 0 -1 1077944384 6262 0 0 0 112 2 0 0 20 0 28 0 4163796 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583661149040 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30154] ppid=30134 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30154/stat : 30154 (java) S 30134 30134 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4163797 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583660095712 140584474670805 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30155] ppid=30134 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30155/stat : 30155 (java) S 30134 30134 15196 0 -1 1077944384 360 0 0 0 1 1 0 0 20 0 28 0 4163797 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583659043248 140584474671746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30156] ppid=30134 vsize=13801768 CPUtime=36.74 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30156/stat : 30156 (java) R 30134 30134 15196 0 -1 4202560 563 0 0 0 3674 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583651028040 140584103026588 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30157] ppid=30134 vsize=13801768 CPUtime=36.49 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30157/stat : 30157 (java) R 30134 30134 15196 0 -1 4202560 496 0 0 0 3649 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583649976488 140584102599432 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30158] ppid=30134 vsize=13801768 CPUtime=36.76 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30158/stat : 30158 (java) R 30134 30134 15196 0 -1 4202560 1348 0 0 0 3673 3 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583648924040 140584102672126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30159] ppid=30134 vsize=13801768 CPUtime=36.93 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30159/stat : 30159 (java) R 30134 30134 15196 0 -1 4202560 1089 0 0 0 3691 2 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583647871400 140584102672228 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30160] ppid=30134 vsize=13801768 CPUtime=36.19 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30160/stat : 30160 (java) R 30134 30134 15196 0 -1 4202560 681 0 0 0 3618 1 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583646821440 140584102597657 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30161] ppid=30134 vsize=13801768 CPUtime=36.67 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30161/stat : 30161 (java) R 30134 30134 15196 0 -1 4202560 812 0 0 0 3667 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583645766408 140584102599378 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30162] ppid=30134 vsize=13801768 CPUtime=36.65 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30162/stat : 30162 (java) R 30134 30134 15196 0 -1 4202560 294 0 0 0 3665 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583644712840 140584102599209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
[pid=30135/tid=30163] ppid=30134 vsize=13801768 CPUtime=36.74 cores=1,3,5,7,9,11,13,15
/proc/30135/task/30163/stat : 30163 (java) R 30134 30134 15196 0 -1 4202560 1118 0 0 0 3674 0 0 0 20 0 28 0 4163999 14133010432 170851 33554432000 4194304 4196468 140732856808480 140583643659984 140584102598872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38666240 140732856816828 140732856817004 140732856817004 140732856819663 0
Current children cumulated CPU time (s) 306.17
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 39.6663
CPU time (s): 306.414
CPU user time (s): 305.711
CPU system time (s): 0.702795
CPU usage (%): 772.479
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.711
system time used= 0.702795
maximum resident set size= 683436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4850
involuntary context switches= 20510
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.461418 second user time and 0.654946 second system time
The end