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-4245887-1500686680/watcher-4245887-1500686680 -o /tmp/evaluation-result-4245887-1500686680/solver-4245887-1500686680 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 537587031 HOME/instance-4245887-1500686680.xml
pid=3329
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: 11.25 14.56 14.72 3/264 3332
/proc/meminfo: memFree=30207608/32770624 swapFree=5804/253536
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
[startup+0.100061 s]
/proc/loadavg: 11.25 14.56 14.72 3/264 3332
/proc/meminfo: memFree=30207608/32770624 swapFree=5804/253536
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 11.25 14.56 14.72 3/264 3332
/proc/meminfo: memFree=30207608/32770624 swapFree=5804/253536
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300318 s]
/proc/loadavg: 11.25 14.56 14.72 3/264 3332
/proc/meminfo: memFree=30207608/32770624 swapFree=5804/253536
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700296 s]
/proc/loadavg: 11.25 14.56 14.72 3/264 3332
/proc/meminfo: memFree=30207608/32770624 swapFree=5804/253536
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50123 s]
/proc/loadavg: 11.25 14.56 14.72 13/285 3353
/proc/meminfo: memFree=29297532/32770624 swapFree=5804/253916
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
[pid=3333] ppid=3332 vsize=13269256 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/3333/stat : 3333 (java) S 3332 3332 14782 0 -1 1077944320 24715 0 0 0 540 26 0 0 20 0 20 0 3934327 13587718144 62415 33554432000 4194304 4196468 140721104564864 140721104547408 140393651146487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
/proc/3333/statm: 3317314 62415 3246 1 0 3304547 0
[pid=3333/tid=3334] ppid=3332 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3334/stat : 3334 (java) R 3332 3332 14782 0 -1 4202560 6845 0 0 0 136 4 0 0 20 0 20 0 3934327 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393655377680 140393651168413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3336] ppid=3332 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3336/stat : 3336 (java) S 3332 3332 14782 0 -1 1077944384 111 0 0 0 2 2 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393250400784 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3337] ppid=3332 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3337/stat : 3337 (java) S 3332 3332 14782 0 -1 1077944384 26 0 0 0 2 2 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393249348240 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3338] ppid=3332 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3338/stat : 3338 (java) S 3332 3332 14782 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393248295184 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3339] ppid=3332 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3339/stat : 3339 (java) S 3332 3332 14782 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393247242640 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3340] ppid=3332 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3340/stat : 3340 (java) S 3332 3332 14782 0 -1 1077944384 161 0 0 0 3 2 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393246190608 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3341] ppid=3332 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3341/stat : 3341 (java) S 3332 3332 14782 0 -1 1077944384 92 0 0 0 3 2 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393245138064 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3342] ppid=3332 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3342/stat : 3342 (java) S 3332 3332 14782 0 -1 1077944384 246 0 0 0 1 1 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393244085008 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3343] ppid=3332 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3343/stat : 3343 (java) S 3332 3332 14782 0 -1 1077944384 41 0 0 0 3 2 0 0 20 0 20 0 3934328 13587718144 62415 33554432000 4194304 4196468 140721104564864 140393243032464 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3344] ppid=3332 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3344/stat : 3344 (java) S 3332 3332 14782 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 20 0 3934330 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392315914480 140393651157634 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3345] ppid=3332 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3345/stat : 3345 (java) S 3332 3332 14782 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3934330 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392314860768 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3346] ppid=3332 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3346/stat : 3346 (java) S 3332 3332 14782 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3934331 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392313807616 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3347] ppid=3332 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3347/stat : 3347 (java) S 3332 3332 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3934334 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392312756176 140393651165083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3348] ppid=3332 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3348/stat : 3348 (java) R 3332 3332 14782 0 -1 4202560 4538 0 0 0 107 0 0 0 20 0 20 0 3934334 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392311690848 140393634533291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3349] ppid=3332 vsize=13269256 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3349/stat : 3349 (java) R 3332 3332 14782 0 -1 4202560 4084 0 0 0 107 1 0 0 20 0 20 0 3934334 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392310637640 140393632689776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3350] ppid=3332 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3350/stat : 3350 (java) R 3332 3332 14782 0 -1 4202560 3539 0 0 0 104 0 0 0 20 0 20 0 3934334 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392309585248 140393651160336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3351] ppid=3332 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3351/stat : 3351 (java) S 3332 3332 14782 0 -1 1077944384 3405 0 0 0 62 1 0 0 20 0 20 0 3934334 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392308546160 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3352] ppid=3332 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3352/stat : 3352 (java) S 3332 3332 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3934334 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392307493344 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3353] ppid=3332 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3353/stat : 3353 (java) S 3332 3332 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3934334 13587718144 62415 33554432000 4194304 4196468 140721104564864 140392306440880 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 13278768
[startup+3.10114 s]
/proc/loadavg: 11.25 14.56 14.72 17/285 3353
/proc/meminfo: memFree=28270392/32770624 swapFree=5804/253916
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
[pid=3333] ppid=3332 vsize=13801768 CPUtime=12.6 cores=1,3,5,7,9,11,13,15
/proc/3333/stat : 3333 (java) S 3332 3332 14782 0 -1 1077944320 28653 0 0 0 1170 90 0 0 20 0 28 0 3934327 14133010432 143370 33554432000 4194304 4196468 140721104564864 140721104547408 140393651146487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
/proc/3333/statm: 3450442 143370 3260 1 0 3437675 0
[pid=3333/tid=3334] ppid=3332 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3334/stat : 3334 (java) S 3332 3332 14782 0 -1 1077944384 8476 0 0 0 230 7 0 0 20 0 28 0 3934327 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393655387264 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3336] ppid=3332 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3336/stat : 3336 (java) S 3332 3332 14782 0 -1 1077944384 188 0 0 0 9 9 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393250400784 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3337] ppid=3332 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3337/stat : 3337 (java) S 3332 3332 14782 0 -1 1077944384 101 0 0 0 10 9 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393249348240 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3338] ppid=3332 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3338/stat : 3338 (java) S 3332 3332 14782 0 -1 1077944384 86 0 0 0 8 8 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393248295184 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3339] ppid=3332 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3339/stat : 3339 (java) S 3332 3332 14782 0 -1 1077944384 157 0 0 0 10 9 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393247242640 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3340] ppid=3332 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3340/stat : 3340 (java) S 3332 3332 14782 0 -1 1077944384 241 0 0 0 11 10 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393246190608 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3341] ppid=3332 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3341/stat : 3341 (java) S 3332 3332 14782 0 -1 1077944384 153 0 0 0 11 10 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393245138064 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3342] ppid=3332 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3342/stat : 3342 (java) S 3332 3332 14782 0 -1 1077944384 308 0 0 0 8 8 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393244085008 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3343] ppid=3332 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3343/stat : 3343 (java) S 3332 3332 14782 0 -1 1077944384 119 0 0 0 11 9 0 0 20 0 28 0 3934328 14133010432 143370 33554432000 4194304 4196468 140721104564864 140393243032464 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3344] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3344/stat : 3344 (java) S 3332 3332 14782 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 28 0 3934330 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392315914480 140393651157634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3345] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3345/stat : 3345 (java) S 3332 3332 14782 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3934330 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392314860768 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3346] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3346/stat : 3346 (java) S 3332 3332 14782 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3934331 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392313807616 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3347] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3347/stat : 3347 (java) S 3332 3332 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392312756176 140393651165083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3348] ppid=3332 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3348/stat : 3348 (java) R 3332 3332 14782 0 -1 4202560 4836 0 0 0 172 0 0 0 20 0 28 0 3934334 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392311690848 140393630839583 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3349] ppid=3332 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3349/stat : 3349 (java) R 3332 3332 14782 0 -1 4202560 4282 0 0 0 177 1 0 0 20 0 28 0 3934334 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392310638304 140393629562817 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3350] ppid=3332 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3350/stat : 3350 (java) R 3332 3332 14782 0 -1 4202560 3816 0 0 0 179 0 0 0 20 0 28 0 3934334 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392309585248 140393636255980 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3351] ppid=3332 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3351/stat : 3351 (java) R 3332 3332 14782 0 -1 4202560 3754 0 0 0 82 2 0 0 20 0 28 0 3934334 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392308546000 140393630556272 0 4 0 16800975 0 0 0 -1 9 0 0 9 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3352] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3352/stat : 3352 (java) S 3332 3332 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392307493344 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3353] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3353/stat : 3353 (java) S 3332 3332 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 143370 33554432000 4194304 4196468 140721104564864 140392306440880 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 13811280
[startup+6.30154 s]
/proc/loadavg: 11.07 14.46 14.69 17/293 3361
/proc/meminfo: memFree=27106916/32770624 swapFree=5804/253928
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
[pid=3333] ppid=3332 vsize=13801768 CPUtime=38.07 cores=1,3,5,7,9,11,13,15
/proc/3333/stat : 3333 (java) S 3332 3332 14782 0 -1 1077944320 38519 0 0 0 3712 95 0 0 20 0 28 0 3934327 14133010432 157439 33554432000 4194304 4196468 140721104564864 140721104547408 140393651146487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
/proc/3333/statm: 3450442 157439 3283 1 0 3437675 0
[pid=3333/tid=3334] ppid=3332 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3334/stat : 3334 (java) S 3332 3332 14782 0 -1 1077944384 8476 0 0 0 230 7 0 0 20 0 28 0 3934327 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393655387264 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3336] ppid=3332 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3336/stat : 3336 (java) S 3332 3332 14782 0 -1 1077944384 188 0 0 0 9 9 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393250400784 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3337] ppid=3332 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3337/stat : 3337 (java) S 3332 3332 14782 0 -1 1077944384 101 0 0 0 10 9 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393249348240 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3338] ppid=3332 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3338/stat : 3338 (java) S 3332 3332 14782 0 -1 1077944384 86 0 0 0 8 8 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393248295184 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3339] ppid=3332 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3339/stat : 3339 (java) S 3332 3332 14782 0 -1 1077944384 157 0 0 0 10 9 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393247242640 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3340] ppid=3332 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3340/stat : 3340 (java) S 3332 3332 14782 0 -1 1077944384 241 0 0 0 11 10 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393246190608 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3341] ppid=3332 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3341/stat : 3341 (java) S 3332 3332 14782 0 -1 1077944384 153 0 0 0 11 10 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393245138064 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3342] ppid=3332 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3342/stat : 3342 (java) S 3332 3332 14782 0 -1 1077944384 308 0 0 0 8 8 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393244085008 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3343] ppid=3332 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3343/stat : 3343 (java) S 3332 3332 14782 0 -1 1077944384 119 0 0 0 11 9 0 0 20 0 28 0 3934328 14133010432 157439 33554432000 4194304 4196468 140721104564864 140393243032464 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3344] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3344/stat : 3344 (java) S 3332 3332 14782 0 -1 1077944384 528 0 0 0 0 0 0 0 20 0 28 0 3934330 14133010432 157439 33554432000 4194304 4196468 140721104564864 140392315914480 140393651157634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3345] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3345/stat : 3345 (java) S 3332 3332 14782 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3934330 14133010432 157439 33554432000 4194304 4196468 140721104564864 140392314860768 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3346] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3346/stat : 3346 (java) S 3332 3332 14782 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 3934331 14133010432 157439 33554432000 4194304 4196468 140721104564864 140392313807616 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3347] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3347/stat : 3347 (java) S 3332 3332 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 157439 33554432000 4194304 4196468 140721104564864 140392312756176 140393651165083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
################
# More data... #
################
/proc/3333/task/3345/stat : 3345 (java) S 3332 3332 14782 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3934330 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392314860768 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3346] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3346/stat : 3346 (java) S 3332 3332 14782 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3934331 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392313807616 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3347] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3347/stat : 3347 (java) S 3332 3332 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392312756176 140393651165083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3348] ppid=3332 vsize=13801768 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3348/stat : 3348 (java) S 3332 3332 14782 0 -1 1077944384 7980 0 0 0 247 1 0 0 20 0 28 0 3934334 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392311704304 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3349] ppid=3332 vsize=13801768 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3349/stat : 3349 (java) S 3332 3332 14782 0 -1 1077944384 8385 0 0 0 233 1 0 0 20 0 28 0 3934334 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392310651760 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3350] ppid=3332 vsize=13801768 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3350/stat : 3350 (java) S 3332 3332 14782 0 -1 1077944384 7459 0 0 0 237 1 0 0 20 0 28 0 3934334 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392309598704 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3351] ppid=3332 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3351/stat : 3351 (java) S 3332 3332 14782 0 -1 1077944384 5371 0 0 0 94 3 0 0 20 0 28 0 3934334 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392308546160 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3352] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3352/stat : 3352 (java) S 3332 3332 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392307493344 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3353] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3353/stat : 3353 (java) S 3332 3332 14782 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392306440880 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3354] ppid=3332 vsize=13801768 CPUtime=6.5 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3354/stat : 3354 (java) R 3332 3332 14782 0 -1 4202560 321 0 0 0 650 0 0 0 20 0 28 0 3934589 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392298425288 140393295733668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3355] ppid=3332 vsize=13801768 CPUtime=6.48 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3355/stat : 3355 (java) R 3332 3332 14782 0 -1 4202560 197 0 0 0 648 0 0 0 20 0 28 0 3934590 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392297373976 140393295733663 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3356] ppid=3332 vsize=13801768 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3356/stat : 3356 (java) R 3332 3332 14782 0 -1 4202560 214 0 0 0 633 0 0 0 20 0 28 0 3934590 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392296320872 140393295988644 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3357] ppid=3332 vsize=13801768 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3357/stat : 3357 (java) R 3332 3332 14782 0 -1 4202560 916 0 0 0 619 3 0 0 20 0 28 0 3934590 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392295269528 140393295988236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3358] ppid=3332 vsize=13801768 CPUtime=6.38 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3358/stat : 3358 (java) R 3332 3332 14782 0 -1 4202560 279 0 0 0 638 0 0 0 20 0 28 0 3934590 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392294215960 140393296449453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3359] ppid=3332 vsize=13801768 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3359/stat : 3359 (java) R 3332 3332 14782 0 -1 4202560 193 0 0 0 636 0 0 0 20 0 28 0 3934590 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392293164040 140393295733663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3360] ppid=3332 vsize=13801768 CPUtime=6.45 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3360/stat : 3360 (java) R 3332 3332 14782 0 -1 4202560 145 0 0 0 645 0 0 0 20 0 28 0 3934590 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392292110360 140393295847866 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3361] ppid=3332 vsize=13801768 CPUtime=6.33 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3361/stat : 3361 (java) R 3332 3332 14782 0 -1 4202560 273 0 0 0 633 0 0 0 20 0 28 0 3934590 14133010432 196903 33554432000 4194304 4196468 140721104564864 140392291057720 140393296427767 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
Current children cumulated CPU time (s) 64.3
Current children cumulated vsize (KiB) 13811280
[startup+10.0166 s]
/proc/loadavg: 10.91 14.37 14.66 10/293 3361
/proc/meminfo: memFree=26926284/32770624 swapFree=5804/253936
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
[pid=3333] ppid=3332 vsize=13801768 CPUtime=67.58 cores=1,3,5,7,9,11,13,15
/proc/3333/stat : 3333 (java) S 3332 3332 14782 0 -1 1077944320 46445 0 0 0 6617 141 0 0 20 0 28 0 3934327 14133010432 196910 33554432000 4194304 4196468 140721104564864 140721104547408 140393651146487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
/proc/3333/statm: 3450442 196910 3285 1 0 3437675 0
[pid=3333/tid=3334] ppid=3332 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3334/stat : 3334 (java) S 3332 3332 14782 0 -1 1077944384 8476 0 0 0 230 7 0 0 20 0 28 0 3934327 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393655387264 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3336] ppid=3332 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3336/stat : 3336 (java) S 3332 3332 14782 0 -1 1077944384 309 0 0 0 17 14 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393250400784 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3337] ppid=3332 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3337/stat : 3337 (java) S 3332 3332 14782 0 -1 1077944384 286 0 0 0 17 14 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393249348240 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3338] ppid=3332 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3338/stat : 3338 (java) S 3332 3332 14782 0 -1 1077944384 212 0 0 0 15 13 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393248295184 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3339] ppid=3332 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3339/stat : 3339 (java) S 3332 3332 14782 0 -1 1077944384 615 0 0 0 17 15 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393247242640 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3340] ppid=3332 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3340/stat : 3340 (java) S 3332 3332 14782 0 -1 1077944384 309 0 0 0 18 16 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393246190608 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3341] ppid=3332 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3341/stat : 3341 (java) S 3332 3332 14782 0 -1 1077944384 252 0 0 0 18 15 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393245138064 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3342] ppid=3332 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3342/stat : 3342 (java) S 3332 3332 14782 0 -1 1077944384 1350 0 0 0 15 13 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393244085008 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3343] ppid=3332 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3343/stat : 3343 (java) S 3332 3332 14782 0 -1 1077944384 171 0 0 0 17 14 0 0 20 0 28 0 3934328 14133010432 196910 33554432000 4194304 4196468 140721104564864 140393243032464 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3344] ppid=3332 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3344/stat : 3344 (java) S 3332 3332 14782 0 -1 1077944384 1070 0 0 0 0 1 0 0 20 0 28 0 3934330 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392315914480 140393651157634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3345] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3345/stat : 3345 (java) S 3332 3332 14782 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3934330 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392314860768 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3346] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3346/stat : 3346 (java) S 3332 3332 14782 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3934331 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392313807616 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3347] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3347/stat : 3347 (java) S 3332 3332 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392312756176 140393651165083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3348] ppid=3332 vsize=13801768 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3348/stat : 3348 (java) S 3332 3332 14782 0 -1 1077944384 7980 0 0 0 247 1 0 0 20 0 28 0 3934334 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392311704304 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3349] ppid=3332 vsize=13801768 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3349/stat : 3349 (java) S 3332 3332 14782 0 -1 1077944384 8385 0 0 0 233 1 0 0 20 0 28 0 3934334 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392310651760 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3350] ppid=3332 vsize=13801768 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3350/stat : 3350 (java) S 3332 3332 14782 0 -1 1077944384 7459 0 0 0 237 1 0 0 20 0 28 0 3934334 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392309598704 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3351] ppid=3332 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3351/stat : 3351 (java) S 3332 3332 14782 0 -1 1077944384 5379 0 0 0 95 3 0 0 20 0 28 0 3934334 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392308546160 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3352] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3352/stat : 3352 (java) S 3332 3332 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392307493344 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3353] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3353/stat : 3353 (java) S 3332 3332 14782 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392306440880 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3354] ppid=3332 vsize=13801768 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3354/stat : 3354 (java) R 3332 3332 14782 0 -1 4202560 322 0 0 0 692 0 0 0 20 0 28 0 3934589 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392298424640 140393295733425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3355] ppid=3332 vsize=13801768 CPUtime=6.89 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3355/stat : 3355 (java) R 3332 3332 14782 0 -1 4202560 197 0 0 0 689 0 0 0 20 0 28 0 3934590 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392297373496 140393296449471 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3356] ppid=3332 vsize=13801768 CPUtime=6.74 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3356/stat : 3356 (java) R 3332 3332 14782 0 -1 4202560 214 0 0 0 674 0 0 0 20 0 28 0 3934590 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392296321320 140393295988694 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3357] ppid=3332 vsize=13801768 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3357/stat : 3357 (java) R 3332 3332 14782 0 -1 4202560 921 0 0 0 660 3 0 0 20 0 28 0 3934590 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392295268776 140393296580243 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3358] ppid=3332 vsize=13801768 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3358/stat : 3358 (java) R 3332 3332 14782 0 -1 4202560 279 0 0 0 679 0 0 0 20 0 28 0 3934590 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392294215864 140393296449651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3359] ppid=3332 vsize=13801768 CPUtime=6.78 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3359/stat : 3359 (java) R 3332 3332 14782 0 -1 4202560 193 0 0 0 678 0 0 0 20 0 28 0 3934590 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392293163320 140393295733663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3360] ppid=3332 vsize=13801768 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3360/stat : 3360 (java) R 3332 3332 14782 0 -1 4202560 145 0 0 0 684 0 0 0 20 0 28 0 3934590 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392292110120 140393295847630 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3361] ppid=3332 vsize=13801768 CPUtime=6.75 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3361/stat : 3361 (java) R 3332 3332 14782 0 -1 4202560 273 0 0 0 675 0 0 0 20 0 28 0 3934590 14133010432 196910 33554432000 4194304 4196468 140721104564864 140392291057816 140393295988231 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
Current children cumulated CPU time (s) 67.58
Current children cumulated vsize (KiB) 13811280
[startup+10.4014 s]
/proc/loadavg: 10.91 14.37 14.66 10/293 3361
/proc/meminfo: memFree=26926284/32770624 swapFree=5804/253936
[pid=3332] ppid=3329 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3332/stat : 3332 (xcsp3-exec) S 3329 3332 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3934327 9740288 346 33554432000 4194304 5098028 140728033878336 140728033876440 140242316927612 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 28721152 140728033887375 140728033887584 140728033887584 140728033890283 0
/proc/3332/statm: 2378 346 289 221 0 87 0
[pid=3333] ppid=3332 vsize=13801768 CPUtime=70.65 cores=1,3,5,7,9,11,13,15
/proc/3333/stat : 3333 (java) S 3332 3332 14782 0 -1 1077944320 46853 0 0 0 6924 141 0 0 20 0 28 0 3934327 14133010432 195816 33554432000 4194304 4196468 140721104564864 140721104547408 140393651146487 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
/proc/3333/statm: 3450442 195816 3285 1 0 3437675 0
[pid=3333/tid=3334] ppid=3332 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3334/stat : 3334 (java) S 3332 3332 14782 0 -1 1077944384 8476 0 0 0 230 7 0 0 20 0 28 0 3934327 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393655387264 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3336] ppid=3332 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3336/stat : 3336 (java) S 3332 3332 14782 0 -1 1077944384 309 0 0 0 17 14 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393250400784 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3337] ppid=3332 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3337/stat : 3337 (java) S 3332 3332 14782 0 -1 1077944384 286 0 0 0 17 14 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393249348240 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3338] ppid=3332 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3338/stat : 3338 (java) S 3332 3332 14782 0 -1 1077944384 212 0 0 0 15 13 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393248295184 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3339] ppid=3332 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3339/stat : 3339 (java) S 3332 3332 14782 0 -1 1077944384 615 0 0 0 17 15 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393247242640 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3340] ppid=3332 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3340/stat : 3340 (java) S 3332 3332 14782 0 -1 1077944384 309 0 0 0 18 16 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393246190608 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3341] ppid=3332 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3341/stat : 3341 (java) S 3332 3332 14782 0 -1 1077944384 252 0 0 0 18 15 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393245138064 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3342] ppid=3332 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3342/stat : 3342 (java) S 3332 3332 14782 0 -1 1077944384 1350 0 0 0 15 13 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393244085008 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3343] ppid=3332 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3343/stat : 3343 (java) S 3332 3332 14782 0 -1 1077944384 171 0 0 0 17 14 0 0 20 0 28 0 3934328 14133010432 195816 33554432000 4194304 4196468 140721104564864 140393243032464 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3344] ppid=3332 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3344/stat : 3344 (java) S 3332 3332 14782 0 -1 1077944384 1070 0 0 0 0 1 0 0 20 0 28 0 3934330 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392315914480 140393651157634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3345] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3345/stat : 3345 (java) S 3332 3332 14782 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3934330 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392314860768 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3346] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3346/stat : 3346 (java) S 3332 3332 14782 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3934331 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392313807616 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3347] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3347/stat : 3347 (java) S 3332 3332 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392312756176 140393651165083 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3348] ppid=3332 vsize=13801768 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3348/stat : 3348 (java) R 3332 3332 14782 0 -1 4202560 8110 0 0 0 249 1 0 0 20 0 28 0 3934334 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392311704600 140393634632501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3349] ppid=3332 vsize=13801768 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3349/stat : 3349 (java) R 3332 3332 14782 0 -1 4202560 8476 0 0 0 235 1 0 0 20 0 28 0 3934334 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392310652056 140393632681161 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3350] ppid=3332 vsize=13801768 CPUtime=2.38 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3350/stat : 3350 (java) S 3332 3332 14782 0 -1 1077944384 7459 0 0 0 237 1 0 0 20 0 28 0 3934334 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392309598704 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3351] ppid=3332 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3351/stat : 3351 (java) S 3332 3332 14782 0 -1 1077944384 5387 0 0 0 95 3 0 0 20 0 28 0 3934334 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392308546160 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3352] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3352/stat : 3352 (java) S 3332 3332 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392307493344 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3353] ppid=3332 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3353/stat : 3353 (java) S 3332 3332 14782 0 -1 1077944384 389 0 0 0 0 0 0 0 20 0 28 0 3934334 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392306440880 140393651157634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3354] ppid=3332 vsize=13801768 CPUtime=7.3 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3354/stat : 3354 (java) R 3332 3332 14782 0 -1 4202560 322 0 0 0 730 0 0 0 20 0 28 0 3934589 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392298424640 140393295733668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3355] ppid=3332 vsize=13801768 CPUtime=7.28 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3355/stat : 3355 (java) R 3332 3332 14782 0 -1 4202560 197 0 0 0 728 0 0 0 20 0 28 0 3934590 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392297373496 140393295733788 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3356] ppid=3332 vsize=13801768 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3356/stat : 3356 (java) R 3332 3332 14782 0 -1 4202560 214 0 0 0 713 0 0 0 20 0 28 0 3934590 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392296320968 140393295784784 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3357] ppid=3332 vsize=13801768 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3357/stat : 3357 (java) S 3332 3332 14782 0 -1 1077944384 931 0 0 0 699 3 0 0 20 0 28 0 3934590 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392295274064 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3358] ppid=3332 vsize=13801768 CPUtime=7.14 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3358/stat : 3358 (java) R 3332 3332 14782 0 -1 4202560 280 0 0 0 714 0 0 0 20 0 28 0 3934590 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392294215864 140393295784829 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3359] ppid=3332 vsize=13801768 CPUtime=7.16 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3359/stat : 3359 (java) S 3332 3332 14782 0 -1 1077944384 215 0 0 0 716 0 0 0 20 0 28 0 3934590 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392293168464 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3360] ppid=3332 vsize=13801768 CPUtime=7.22 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3360/stat : 3360 (java) R 3332 3332 14782 0 -1 4202560 145 0 0 0 722 0 0 0 20 0 28 0 3934590 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392292110120 140393295847234 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
[pid=3333/tid=3361] ppid=3332 vsize=13801768 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/3333/task/3361/stat : 3361 (java) S 3332 3332 14782 0 -1 1077944384 309 0 0 0 713 0 0 0 20 0 28 0 3934590 14133010432 195816 33554432000 4194304 4196468 140721104564864 140392291062864 140393651156693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29995008 140721104569532 140721104569708 140721104569708 140721104572367 0
Current children cumulated CPU time (s) 70.65
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 10.4329
CPU time (s): 70.7239
CPU user time (s): 69.2917
CPU system time (s): 1.43213
CPU usage (%): 677.896
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.2917
system time used= 1.43213
maximum resident set size= 787640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48124
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= 4737
involuntary context switches= 5693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.119521 second user time and 0.147754 second system time
The end