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-4248940-1500693457/watcher-4248940-1500693457 -o /tmp/evaluation-result-4248940-1500693457/solver-4248940-1500693457 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1890238389 HOME/instance-4248940-1500693457.xml
pid=29183
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: 3.93 10.72 12.49 2/262 29186
/proc/meminfo: memFree=31722644/32770624 swapFree=5860/287628
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
[startup+0.100148 s]
/proc/loadavg: 3.93 10.72 12.49 2/262 29186
/proc/meminfo: memFree=31722644/32770624 swapFree=5860/287628
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200377 s]
/proc/loadavg: 3.93 10.72 12.49 2/262 29186
/proc/meminfo: memFree=31722644/32770624 swapFree=5860/287628
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300343 s]
/proc/loadavg: 3.93 10.72 12.49 2/262 29186
/proc/meminfo: memFree=31722644/32770624 swapFree=5860/287628
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700295 s]
/proc/loadavg: 3.93 10.72 12.49 2/262 29186
/proc/meminfo: memFree=31722644/32770624 swapFree=5860/287628
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50084 s]
/proc/loadavg: 3.93 10.72 12.49 4/283 29207
/proc/meminfo: memFree=31592040/32770624 swapFree=5860/288000
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
[pid=29187] ppid=29186 vsize=13269256 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/29187/stat : 29187 (java) S 29186 29186 7411 0 -1 1077944320 31542 0 0 0 377 10 0 0 20 0 20 0 4613134 13587718144 35236 33554432000 4194304 4196468 140732801640336 140732801622880 139635732709111 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
/proc/29187/statm: 3317314 35236 3214 1 0 3304547 0
[pid=29187/tid=29188] ppid=29186 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29188/stat : 29188 (java) R 29186 29186 7411 0 -1 4202560 7261 0 0 0 144 3 0 0 20 0 20 0 4613135 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635736946616 139635372509967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29190] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29190/stat : 29190 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635331627792 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29191] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29191/stat : 29191 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635330575248 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29192] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29192/stat : 29192 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635329522704 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29193] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29193/stat : 29193 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635328470160 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29194] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29194/stat : 29194 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635327416592 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29195] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29195/stat : 29195 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635326364048 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29196] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29196/stat : 29196 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635325311504 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29197] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29197/stat : 29197 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 35236 33554432000 4194304 4196468 140732801640336 139635324258960 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29198] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29198/stat : 29198 (java) S 29186 29186 7411 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 4613138 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634926434800 139635732720258 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29199] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29199/stat : 29199 (java) S 29186 29186 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4613139 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634925381024 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29200] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29200/stat : 29200 (java) S 29186 29186 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4613139 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634924328432 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29201] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29201/stat : 29201 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613143 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634923277008 139635732727707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29202] ppid=29186 vsize=13269256 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29202/stat : 29202 (java) S 29186 29186 7411 0 -1 1077944384 5935 0 0 0 65 1 0 0 20 0 20 0 4613143 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634922223600 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29203] ppid=29186 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29203/stat : 29203 (java) S 29186 29186 7411 0 -1 1077944384 7703 0 0 0 60 1 0 0 20 0 20 0 4613143 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634921171056 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29204] ppid=29186 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29204/stat : 29204 (java) R 29186 29186 7411 0 -1 4202560 5507 0 0 0 69 1 0 0 20 0 20 0 4613143 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634920096928 139635716119904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29205] ppid=29186 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29205/stat : 29205 (java) S 29186 29186 7411 0 -1 1077944384 3808 0 0 0 37 1 0 0 20 0 20 0 4613143 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634919065968 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29206] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29206/stat : 29206 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4613143 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634918013664 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29207] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29207/stat : 29207 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4613143 13587718144 35236 33554432000 4194304 4196468 140732801640336 139634916961200 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13278768
[startup+3.10082 s]
/proc/loadavg: 3.93 10.72 12.49 3/283 29207
/proc/meminfo: memFree=31545232/32770624 swapFree=5860/288000
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
[pid=29187] ppid=29186 vsize=13269256 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/29187/stat : 29187 (java) S 29186 29186 7411 0 -1 1077944320 35102 0 0 0 574 10 0 0 20 0 20 0 4613134 13587718144 45750 33554432000 4194304 4196468 140732801640336 140732801622880 139635732709111 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
/proc/29187/statm: 3317314 45750 3218 1 0 3304547 0
[pid=29187/tid=29188] ppid=29186 vsize=13269256 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29188/stat : 29188 (java) R 29186 29186 7411 0 -1 4202560 8309 0 0 0 303 4 0 0 20 0 20 0 4613135 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635736947112 139635372510818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29190] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29190/stat : 29190 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635331627792 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29191] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29191/stat : 29191 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635330575248 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29192] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29192/stat : 29192 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635329522704 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29193] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29193/stat : 29193 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635328470160 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29194] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29194/stat : 29194 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635327416592 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29195] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29195/stat : 29195 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635326364048 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29196] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29196/stat : 29196 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635325311504 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29197] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29197/stat : 29197 (java) S 29186 29186 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4613136 13587718144 45750 33554432000 4194304 4196468 140732801640336 139635324258960 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29198] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29198/stat : 29198 (java) S 29186 29186 7411 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 4613138 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634926434800 139635732720258 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29199] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29199/stat : 29199 (java) S 29186 29186 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4613139 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634925381024 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29200] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29200/stat : 29200 (java) S 29186 29186 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4613139 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634924328432 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29201] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29201/stat : 29201 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4613143 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634923277008 139635732727707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29202] ppid=29186 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29202/stat : 29202 (java) S 29186 29186 7411 0 -1 1077944384 6198 0 0 0 70 1 0 0 20 0 20 0 4613143 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634922223600 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29203] ppid=29186 vsize=13269256 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29203/stat : 29203 (java) S 29186 29186 7411 0 -1 1077944384 8166 0 0 0 67 1 0 0 20 0 20 0 4613143 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634921171056 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29204] ppid=29186 vsize=13269256 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29204/stat : 29204 (java) S 29186 29186 7411 0 -1 1077944384 5915 0 0 0 87 1 0 0 20 0 20 0 4613143 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634920118512 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29205] ppid=29186 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29205/stat : 29205 (java) S 29186 29186 7411 0 -1 1077944384 5154 0 0 0 45 1 0 0 20 0 20 0 4613143 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634919065968 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29206] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29206/stat : 29206 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4613143 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634918013664 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29207] ppid=29186 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29207/stat : 29207 (java) S 29186 29186 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4613143 13587718144 45750 33554432000 4194304 4196468 140732801640336 139634916961200 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 13278768
[startup+6.30166 s]
/proc/loadavg: 3.69 10.55 12.42 13/291 29215
/proc/meminfo: memFree=31373932/32770624 swapFree=5860/288008
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
[pid=29187] ppid=29186 vsize=13801768 CPUtime=25.77 cores=1,3,5,7,9,11,13,15
/proc/29187/stat : 29187 (java) S 29186 29186 7411 0 -1 1077944320 52257 0 0 0 2535 42 0 0 20 0 28 0 4613134 14133010432 77639 33554432000 4194304 4196468 140732801640336 140732801622880 139635732709111 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
/proc/29187/statm: 3450442 77639 3275 1 0 3437675 0
[pid=29187/tid=29188] ppid=29186 vsize=13801768 CPUtime=3.81 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29188/stat : 29188 (java) S 29186 29186 7411 0 -1 1077944384 9333 0 0 0 377 4 0 0 20 0 28 0 4613135 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635736949888 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29190] ppid=29186 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29190/stat : 29190 (java) S 29186 29186 7411 0 -1 1077944384 43 0 0 0 1 4 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635331627792 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29191] ppid=29186 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29191/stat : 29191 (java) S 29186 29186 7411 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635330575248 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29192] ppid=29186 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29192/stat : 29192 (java) S 29186 29186 7411 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635329522704 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29193] ppid=29186 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29193/stat : 29193 (java) S 29186 29186 7411 0 -1 1077944384 188 0 0 0 1 2 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635328470160 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29194] ppid=29186 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29194/stat : 29194 (java) S 29186 29186 7411 0 -1 1077944384 60 0 0 0 3 3 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635327416592 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29195] ppid=29186 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29195/stat : 29195 (java) S 29186 29186 7411 0 -1 1077944384 43 0 0 0 1 3 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635326364048 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29196] ppid=29186 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29196/stat : 29196 (java) S 29186 29186 7411 0 -1 1077944384 59 0 0 0 2 4 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635325311504 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29197] ppid=29186 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29197/stat : 29197 (java) S 29186 29186 7411 0 -1 1077944384 123 0 0 0 1 1 0 0 20 0 28 0 4613136 14133010432 77639 33554432000 4194304 4196468 140732801640336 139635324258960 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29198] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29198/stat : 29198 (java) S 29186 29186 7411 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 4613138 14133010432 77639 33554432000 4194304 4196468 140732801640336 139634926434800 139635732720258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29199] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29199/stat : 29199 (java) S 29186 29186 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4613139 14133010432 77639 33554432000 4194304 4196468 140732801640336 139634925381088 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29200] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29200/stat : 29200 (java) S 29186 29186 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4613139 14133010432 77639 33554432000 4194304 4196468 140732801640336 139634924328448 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29201] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29201/stat : 29201 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 77639 33554432000 4194304 4196468 140732801640336 139634923277008 139635732727707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
################
# More data... #
################
/proc/29187/task/29206/stat : 29206 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634918013664 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29207] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29207/stat : 29207 (java) S 29186 29186 7411 0 -1 1077944384 1399 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634916961200 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 6 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29208] ppid=29186 vsize=13801768 CPUtime=20.66 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29208/stat : 29208 (java) R 29186 29186 7411 0 -1 4202560 914 0 0 0 2065 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634908945768 139635376670428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29209] ppid=29186 vsize=13801768 CPUtime=20.21 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29209/stat : 29209 (java) R 29186 29186 7411 0 -1 4202560 587 0 0 0 2019 2 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634907893768 139635376670980 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29210] ppid=29186 vsize=13801768 CPUtime=19.96 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29210/stat : 29210 (java) R 29186 29186 7411 0 -1 4202560 968 0 0 0 1995 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634906842848 139635376180352 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29211] ppid=29186 vsize=13801768 CPUtime=20.62 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29211/stat : 29211 (java) R 29186 29186 7411 0 -1 4202560 567 0 0 0 2060 2 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634905788088 139635376669608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29212] ppid=29186 vsize=13801768 CPUtime=20.4 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29212/stat : 29212 (java) R 29186 29186 7411 0 -1 4202560 729 0 0 0 2037 3 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634904735208 139635377281880 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29213] ppid=29186 vsize=13801768 CPUtime=20.57 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29213/stat : 29213 (java) R 29186 29186 7411 0 -1 4202560 402 0 0 0 2056 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634903683224 139635370842915 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29214] ppid=29186 vsize=13801768 CPUtime=20.46 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29214/stat : 29214 (java) R 29186 29186 7411 0 -1 4202560 641 0 0 0 2045 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634902630696 139635375428728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29215] ppid=29186 vsize=13801768 CPUtime=20.5 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29215/stat : 29215 (java) R 29186 29186 7411 0 -1 4202560 664 0 0 0 2048 2 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634901577328 139635376894561 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 13811280
[startup+26.4015 s]
/proc/loadavg: 5.84 10.59 12.39 19/299 29223
/proc/meminfo: memFree=30018188/32770624 swapFree=5860/288028
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
[pid=29187] ppid=29186 vsize=13801768 CPUtime=185.56 cores=1,3,5,7,9,11,13,15
/proc/29187/stat : 29187 (java) S 29186 29186 7411 0 -1 1077944320 71361 0 0 0 18447 109 0 0 20 0 28 0 4613134 14133010432 306184 33554432000 4194304 4196468 140732801640336 140732801622880 139635732709111 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
/proc/29187/statm: 3450442 306184 3286 1 0 3437675 0
[pid=29187/tid=29188] ppid=29186 vsize=13801768 CPUtime=3.81 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29188/stat : 29188 (java) S 29186 29186 7411 0 -1 1077944384 9333 0 0 0 377 4 0 0 20 0 28 0 4613135 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635736949888 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29190] ppid=29186 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29190/stat : 29190 (java) S 29186 29186 7411 0 -1 1077944384 125 0 0 0 6 10 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635331627792 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29191] ppid=29186 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29191/stat : 29191 (java) S 29186 29186 7411 0 -1 1077944384 498 0 0 0 7 9 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635330575248 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29192] ppid=29186 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29192/stat : 29192 (java) S 29186 29186 7411 0 -1 1077944384 128 0 0 0 6 8 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635329522704 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29193] ppid=29186 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29193/stat : 29193 (java) S 29186 29186 7411 0 -1 1077944384 1168 0 0 0 6 8 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635328470160 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29194] ppid=29186 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29194/stat : 29194 (java) S 29186 29186 7411 0 -1 1077944384 219 0 0 0 8 10 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635327416592 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29195] ppid=29186 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29195/stat : 29195 (java) S 29186 29186 7411 0 -1 1077944384 1686 0 0 0 8 9 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635326364048 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29196] ppid=29186 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29196/stat : 29196 (java) S 29186 29186 7411 0 -1 1077944384 152 0 0 0 6 10 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635325311504 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29197] ppid=29186 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29197/stat : 29197 (java) S 29186 29186 7411 0 -1 1077944384 605 0 0 0 6 8 0 0 20 0 28 0 4613136 14133010432 306184 33554432000 4194304 4196468 140732801640336 139635324258960 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29198] ppid=29186 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29198/stat : 29198 (java) S 29186 29186 7411 0 -1 1077944384 1835 0 0 0 2 2 0 0 20 0 28 0 4613138 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634926434800 139635732720258 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29199] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29199/stat : 29199 (java) S 29186 29186 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4613139 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634925381088 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29200] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29200/stat : 29200 (java) S 29186 29186 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4613139 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634924328448 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29201] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29201/stat : 29201 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634923277008 139635732727707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29202] ppid=29186 vsize=13801768 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29202/stat : 29202 (java) S 29186 29186 7411 0 -1 1077944384 13004 0 0 0 313 1 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634922223600 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29203] ppid=29186 vsize=13801768 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29203/stat : 29203 (java) S 29186 29186 7411 0 -1 1077944384 13813 0 0 0 284 2 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634921171056 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29204] ppid=29186 vsize=13801768 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29204/stat : 29204 (java) S 29186 29186 7411 0 -1 1077944384 12490 0 0 0 335 2 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634920118512 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29205] ppid=29186 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29205/stat : 29205 (java) S 29186 29186 7411 0 -1 1077944384 8040 0 0 0 96 3 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634919065968 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29206] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29206/stat : 29206 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634918013664 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29207] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29207/stat : 29207 (java) S 29186 29186 7411 0 -1 1077944384 1399 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634916961200 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 6 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29208] ppid=29186 vsize=13801768 CPUtime=21.48 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29208/stat : 29208 (java) R 29186 29186 7411 0 -1 4202560 922 0 0 0 2147 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634908945768 139635375600462 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29209] ppid=29186 vsize=13801768 CPUtime=21.03 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29209/stat : 29209 (java) R 29186 29186 7411 0 -1 4202560 597 0 0 0 2101 2 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634907893768 139635376670838 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29210] ppid=29186 vsize=13801768 CPUtime=20.75 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29210/stat : 29210 (java) R 29186 29186 7411 0 -1 4202560 978 0 0 0 2074 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634906842848 139635370842887 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29211] ppid=29186 vsize=13801768 CPUtime=21.44 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29211/stat : 29211 (java) R 29186 29186 7411 0 -1 4202560 572 0 0 0 2142 2 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634905788088 139635376655429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29212] ppid=29186 vsize=13801768 CPUtime=21.21 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29212/stat : 29212 (java) R 29186 29186 7411 0 -1 4202560 739 0 0 0 2118 3 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634904735208 139635378505423 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29213] ppid=29186 vsize=13801768 CPUtime=21.38 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29213/stat : 29213 (java) R 29186 29186 7411 0 -1 4202560 407 0 0 0 2137 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634903683224 139635375210482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29214] ppid=29186 vsize=13801768 CPUtime=21.27 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29214/stat : 29214 (java) R 29186 29186 7411 0 -1 4202560 646 0 0 0 2126 1 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634902630696 139635370044178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29215] ppid=29186 vsize=13801768 CPUtime=21.32 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29215/stat : 29215 (java) R 29186 29186 7411 0 -1 4202560 669 0 0 0 2130 2 0 0 20 0 28 0 4613519 14133010432 306184 33554432000 4194304 4196468 140732801640336 139634901577328 139635375600911 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
Current children cumulated CPU time (s) 185.56
Current children cumulated vsize (KiB) 13811280
[startup+26.8016 s]
/proc/loadavg: 5.84 10.59 12.39 19/299 29223
/proc/meminfo: memFree=30018188/32770624 swapFree=5860/288028
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
[pid=29187] ppid=29186 vsize=13801768 CPUtime=188.6 cores=1,3,5,7,9,11,13,15
/proc/29187/stat : 29187 (java) S 29186 29186 7411 0 -1 1077944320 71631 0 0 0 18751 109 0 0 20 0 28 0 4613134 14133010432 306194 33554432000 4194304 4196468 140732801640336 140732801622880 139635732709111 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
/proc/29187/statm: 3450442 306194 3286 1 0 3437675 0
[pid=29187/tid=29188] ppid=29186 vsize=13801768 CPUtime=3.81 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29188/stat : 29188 (java) S 29186 29186 7411 0 -1 1077944384 9333 0 0 0 377 4 0 0 20 0 28 0 4613135 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635736949888 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29190] ppid=29186 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29190/stat : 29190 (java) S 29186 29186 7411 0 -1 1077944384 125 0 0 0 6 10 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635331627792 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29191] ppid=29186 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29191/stat : 29191 (java) S 29186 29186 7411 0 -1 1077944384 498 0 0 0 7 9 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635330575248 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29192] ppid=29186 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29192/stat : 29192 (java) S 29186 29186 7411 0 -1 1077944384 128 0 0 0 6 8 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635329522704 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29193] ppid=29186 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29193/stat : 29193 (java) S 29186 29186 7411 0 -1 1077944384 1168 0 0 0 6 8 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635328470160 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29194] ppid=29186 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29194/stat : 29194 (java) S 29186 29186 7411 0 -1 1077944384 219 0 0 0 8 10 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635327416592 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29195] ppid=29186 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29195/stat : 29195 (java) S 29186 29186 7411 0 -1 1077944384 1686 0 0 0 8 9 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635326364048 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29196] ppid=29186 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29196/stat : 29196 (java) S 29186 29186 7411 0 -1 1077944384 152 0 0 0 6 10 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635325311504 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29197] ppid=29186 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29197/stat : 29197 (java) S 29186 29186 7411 0 -1 1077944384 605 0 0 0 6 8 0 0 20 0 28 0 4613136 14133010432 306194 33554432000 4194304 4196468 140732801640336 139635324258960 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29198] ppid=29186 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29198/stat : 29198 (java) S 29186 29186 7411 0 -1 1077944384 1835 0 0 0 2 2 0 0 20 0 28 0 4613138 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634926434800 139635732720258 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29199] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29199/stat : 29199 (java) S 29186 29186 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4613139 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634925381088 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29200] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29200/stat : 29200 (java) S 29186 29186 7411 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4613139 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634924328448 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29201] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29201/stat : 29201 (java) S 29186 29186 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634923277008 139635732727707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29202] ppid=29186 vsize=13801768 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29202/stat : 29202 (java) S 29186 29186 7411 0 -1 1077944384 13004 0 0 0 313 1 0 0 20 0 28 0 4613143 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634922223600 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29203] ppid=29186 vsize=13801768 CPUtime=2.87 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29203/stat : 29203 (java) S 29186 29186 7411 0 -1 1077944384 13930 0 0 0 285 2 0 0 20 0 28 0 4613143 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634921171056 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29204] ppid=29186 vsize=13801768 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29204/stat : 29204 (java) S 29186 29186 7411 0 -1 1077944384 12595 0 0 0 338 2 0 0 20 0 28 0 4613143 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634920118512 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29205] ppid=29186 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29205/stat : 29205 (java) S 29186 29186 7411 0 -1 1077944384 8040 0 0 0 96 3 0 0 20 0 28 0 4613143 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634919065968 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29206] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29206/stat : 29206 (java) S 29186 29186 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634918013664 139635732719317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29207] ppid=29186 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29207/stat : 29207 (java) S 29186 29186 7411 0 -1 1077944384 1399 0 0 0 0 0 0 0 20 0 28 0 4613143 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634916961200 139635732720258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 6 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29208] ppid=29186 vsize=13801768 CPUtime=21.86 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29208/stat : 29208 (java) R 29186 29186 7411 0 -1 4202560 925 0 0 0 2185 1 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634908945768 139635376893436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29209] ppid=29186 vsize=13801768 CPUtime=21.38 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29209/stat : 29209 (java) R 29186 29186 7411 0 -1 4202560 602 0 0 0 2136 2 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634907893768 139635375210426 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29210] ppid=29186 vsize=13801768 CPUtime=21.12 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29210/stat : 29210 (java) R 29186 29186 7411 0 -1 4202560 990 0 0 0 2111 1 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634906840584 139635376893365 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29211] ppid=29186 vsize=13801768 CPUtime=21.82 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29211/stat : 29211 (java) R 29186 29186 7411 0 -1 4202560 576 0 0 0 2180 2 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634905788088 139635376894572 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29212] ppid=29186 vsize=13801768 CPUtime=21.59 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29212/stat : 29212 (java) R 29186 29186 7411 0 -1 4202560 741 0 0 0 2156 3 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634904735208 139635378505275 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29213] ppid=29186 vsize=13801768 CPUtime=21.76 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29213/stat : 29213 (java) R 29186 29186 7411 0 -1 4202560 412 0 0 0 2175 1 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634903683224 139635376670463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29214] ppid=29186 vsize=13801768 CPUtime=21.65 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29214/stat : 29214 (java) R 29186 29186 7411 0 -1 4202560 654 0 0 0 2164 1 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634902630696 139635376894162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
[pid=29187/tid=29215] ppid=29186 vsize=13801768 CPUtime=21.7 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29215/stat : 29215 (java) R 29186 29186 7411 0 -1 4202560 678 0 0 0 2168 2 0 0 20 0 28 0 4613519 14133010432 306194 33554432000 4194304 4196468 140732801640336 139634901577328 139635375210445 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8982528 140732801647804 140732801647980 140732801647980 140732801650639 0
Current children cumulated CPU time (s) 188.6
Current children cumulated vsize (KiB) 13811280
[startup+27.2015 s]
/proc/loadavg: 5.84 10.59 12.39 19/299 29223
/proc/meminfo: memFree=30018188/32770624 swapFree=5860/288028
[pid=29186] ppid=29183 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29186/stat : 29186 (xcsp3-exec) S 29183 29186 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4613134 9740288 346 33554432000 4194304 5098028 140736773210000 140736773208104 140336826430076 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 28246016 140736773215374 140736773215584 140736773215584 140736773218283 0
/proc/29186/statm: 2378 346 289 221 0 87 0
[pid=29187] ppid=29186 vsize=0 CPUtime=191.75 cores=1,3,5,7,9,11,13,15
/proc/29187/stat : 29187 (java) Z 29186 29186 7411 0 -1 4227084 72417 0 0 0 19065 110 0 0 20 0 2 0 4613134 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/29187/statm: 0 0 0 0 0 0 0
[pid=29187/tid=29205] ppid=29186 vsize=0 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/29187/task/29205/stat : 29205 (java) R 29186 29186 7411 0 -1 4203588 8060 0 0 0 96 3 0 0 20 0 2 0 4613143 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 11 0 0 8 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 191.75
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 27.209
CPU time (s): 191.772
CPU user time (s): 190.658
CPU system time (s): 1.11411
CPU usage (%): 704.809
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.658
system time used= 1.11411
maximum resident set size= 1225660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72946
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= 5680
involuntary context switches= 13675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.327212 second user time and 0.379475 second system time
The end