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-4249241-1500693964/watcher-4249241-1500693964 -o /tmp/evaluation-result-4249241-1500693964/solver-4249241-1500693964 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2065915722 HOME/instance-4249241-1500693964.xml
pid=18334
running on 8 cores: 0,2,4,6,8,10,12,14
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: 15.78 14.31 13.53 10/274 18337
/proc/meminfo: memFree=31527636/32770624 swapFree=5900/309336
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
[startup+0.100104 s]
/proc/loadavg: 15.78 14.31 13.53 10/274 18337
/proc/meminfo: memFree=31527636/32770624 swapFree=5900/309336
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200407 s]
/proc/loadavg: 15.78 14.31 13.53 10/274 18337
/proc/meminfo: memFree=31527636/32770624 swapFree=5900/309336
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300345 s]
/proc/loadavg: 15.78 14.31 13.53 10/274 18337
/proc/meminfo: memFree=31527636/32770624 swapFree=5900/309336
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700202 s]
/proc/loadavg: 15.78 14.31 13.53 10/274 18337
/proc/meminfo: memFree=31527636/32770624 swapFree=5900/309336
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50134 s]
/proc/loadavg: 15.32 14.24 13.51 11/295 18358
/proc/meminfo: memFree=31448308/32770624 swapFree=5900/309388
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
[pid=18338] ppid=18337 vsize=13269256 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/18338/stat : 18338 (java) S 18337 18337 16913 0 -1 1077944320 13539 0 0 0 257 5 0 0 20 0 20 0 4663358 13587718144 27357 33554432000 4194304 4196468 140721512209872 140721512192416 139953440173815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
/proc/18338/statm: 3317314 27357 3197 1 0 3304547 0
[pid=18338/tid=18339] ppid=18337 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18339/stat : 18339 (java) R 18337 18337 16913 0 -1 4202560 6915 0 0 0 144 3 0 0 20 0 20 0 4663359 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953444411304 139953073348734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18341] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18341/stat : 18341 (java) S 18337 18337 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953392794512 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18342] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18342/stat : 18342 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953391741712 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18343] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18343/stat : 18343 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953390689424 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18344] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18344/stat : 18344 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953389636624 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18345] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18345/stat : 18345 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953035475344 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18346] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18346/stat : 18346 (java) S 18337 18337 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953034422544 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18347] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18347/stat : 18347 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953033370256 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18348] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18348/stat : 18348 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663360 13587718144 27357 33554432000 4194304 4196468 140721512209872 139953032317456 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18349] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18349/stat : 18349 (java) S 18337 18337 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4663362 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952902425200 139953440184962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18350] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18350/stat : 18350 (java) S 18337 18337 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4663363 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952901371168 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18351] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18351/stat : 18351 (java) S 18337 18337 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4663363 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952900318832 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18352] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18352/stat : 18352 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663367 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952899267152 139953440192411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18353] ppid=18337 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18353/stat : 18353 (java) S 18337 18337 16913 0 -1 1077944384 1593 0 0 0 25 0 0 0 20 0 20 0 4663367 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952898214000 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18354] ppid=18337 vsize=13269256 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18354/stat : 18354 (java) S 18337 18337 16913 0 -1 1077944384 878 0 0 0 27 0 0 0 20 0 20 0 4663367 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952897161200 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18355] ppid=18337 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18355/stat : 18355 (java) S 18337 18337 16913 0 -1 1077944384 909 0 0 0 25 0 0 0 20 0 20 0 4663367 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952896108912 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18356] ppid=18337 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18356/stat : 18356 (java) S 18337 18337 16913 0 -1 1077944384 1932 0 0 0 34 0 0 0 20 0 20 0 4663367 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952895056112 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18357] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18357/stat : 18357 (java) S 18337 18337 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4663367 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952894004064 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18358] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18358/stat : 18358 (java) S 18337 18337 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4663368 13587718144 27357 33554432000 4194304 4196468 140721512209872 139952892951344 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 13278768
[startup+3.10079 s]
/proc/loadavg: 15.32 14.24 13.51 10/295 18358
/proc/meminfo: memFree=31384604/32770624 swapFree=5900/309388
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
[pid=18338] ppid=18337 vsize=13269256 CPUtime=5.33 cores=0,2,4,6,8,10,12,14
/proc/18338/stat : 18338 (java) S 18337 18337 16913 0 -1 1077944320 20942 0 0 0 493 40 0 0 20 0 20 0 4663358 13587718144 63131 33554432000 4194304 4196468 140721512209872 140721512192416 139953440173815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
/proc/18338/statm: 3317314 63131 3235 1 0 3304547 0
[pid=18338/tid=18339] ppid=18337 vsize=13269256 CPUtime=2.99 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18339/stat : 18339 (java) R 18337 18337 16913 0 -1 4202560 8697 0 0 0 294 5 0 0 20 0 20 0 4663359 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953444411688 139953073348694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18341] ppid=18337 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18341/stat : 18341 (java) S 18337 18337 16913 0 -1 1077944384 257 0 0 0 3 3 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953392794512 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18342] ppid=18337 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18342/stat : 18342 (java) S 18337 18337 16913 0 -1 1077944384 53 0 0 0 3 4 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953391741712 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18343] ppid=18337 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18343/stat : 18343 (java) S 18337 18337 16913 0 -1 1077944384 82 0 0 0 3 4 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953390689424 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18344] ppid=18337 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18344/stat : 18344 (java) S 18337 18337 16913 0 -1 1077944384 47 0 0 0 2 4 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953389636624 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18345] ppid=18337 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18345/stat : 18345 (java) S 18337 18337 16913 0 -1 1077944384 152 0 0 0 3 3 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953035475344 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18346] ppid=18337 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18346/stat : 18346 (java) S 18337 18337 16913 0 -1 1077944384 50 0 0 0 3 3 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953034422544 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18347] ppid=18337 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18347/stat : 18347 (java) S 18337 18337 16913 0 -1 1077944384 50 0 0 0 3 4 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953033370256 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18348] ppid=18337 vsize=13269256 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18348/stat : 18348 (java) S 18337 18337 16913 0 -1 1077944384 79 0 0 0 3 4 0 0 20 0 20 0 4663360 13587718144 63131 33554432000 4194304 4196468 140721512209872 139953032317456 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18349] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18349/stat : 18349 (java) S 18337 18337 16913 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 4663362 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952902425200 139953440184962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18350] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18350/stat : 18350 (java) S 18337 18337 16913 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4663363 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952901371168 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18351] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18351/stat : 18351 (java) S 18337 18337 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4663363 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952900318832 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18352] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18352/stat : 18352 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663367 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952899267152 139953440192411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18353] ppid=18337 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18353/stat : 18353 (java) S 18337 18337 16913 0 -1 1077944384 2875 0 0 0 42 0 0 0 20 0 20 0 4663367 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952898214000 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18354] ppid=18337 vsize=13269256 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18354/stat : 18354 (java) S 18337 18337 16913 0 -1 1077944384 2083 0 0 0 46 0 0 0 20 0 20 0 4663367 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952897161200 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18355] ppid=18337 vsize=13269256 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18355/stat : 18355 (java) S 18337 18337 16913 0 -1 1077944384 1969 0 0 0 41 0 0 0 20 0 20 0 4663367 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952896108912 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18356] ppid=18337 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18356/stat : 18356 (java) S 18337 18337 16913 0 -1 1077944384 2987 0 0 0 40 0 0 0 20 0 20 0 4663367 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952895056112 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18357] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18357/stat : 18357 (java) S 18337 18337 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4663367 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952894004064 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18358] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18358/stat : 18358 (java) S 18337 18337 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4663368 13587718144 63131 33554432000 4194304 4196468 140721512209872 139952892951344 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 13278768
[startup+6.30093 s]
/proc/loadavg: 15.32 14.24 13.51 10/295 18358
/proc/meminfo: memFree=31175880/32770624 swapFree=5900/309388
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
[pid=18338] ppid=18337 vsize=13269256 CPUtime=9.61 cores=0,2,4,6,8,10,12,14
/proc/18338/stat : 18338 (java) S 18337 18337 16913 0 -1 1077944320 22065 0 0 0 870 91 0 0 20 0 20 0 4663358 13587718144 89602 33554432000 4194304 4196468 140721512209872 140721512192416 139953440173815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
/proc/18338/statm: 3317314 89602 3236 1 0 3304547 0
[pid=18338/tid=18339] ppid=18337 vsize=13269256 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18339/stat : 18339 (java) R 18337 18337 16913 0 -1 4202560 8804 0 0 0 599 5 0 0 20 0 20 0 4663359 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953444407728 139953073348694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18341] ppid=18337 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18341/stat : 18341 (java) S 18337 18337 16913 0 -1 1077944384 329 0 0 0 8 10 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953392794512 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18342] ppid=18337 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18342/stat : 18342 (java) S 18337 18337 16913 0 -1 1077944384 119 0 0 0 8 10 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953391741712 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18343] ppid=18337 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18343/stat : 18343 (java) S 18337 18337 16913 0 -1 1077944384 151 0 0 0 7 10 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953390689424 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18344] ppid=18337 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18344/stat : 18344 (java) S 18337 18337 16913 0 -1 1077944384 110 0 0 0 7 11 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953389636624 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18345] ppid=18337 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18345/stat : 18345 (java) S 18337 18337 16913 0 -1 1077944384 213 0 0 0 9 9 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953035475344 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18346] ppid=18337 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18346/stat : 18346 (java) S 18337 18337 16913 0 -1 1077944384 123 0 0 0 8 9 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953034422544 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18347] ppid=18337 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18347/stat : 18347 (java) S 18337 18337 16913 0 -1 1077944384 132 0 0 0 8 10 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953033370256 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18348] ppid=18337 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18348/stat : 18348 (java) S 18337 18337 16913 0 -1 1077944384 144 0 0 0 8 10 0 0 20 0 20 0 4663360 13587718144 89602 33554432000 4194304 4196468 140721512209872 139953032317456 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18349] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18349/stat : 18349 (java) S 18337 18337 16913 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 20 0 4663362 13587718144 89602 33554432000 4194304 4196468 140721512209872 139952902425200 139953440184962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18350] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18350/stat : 18350 (java) S 18337 18337 16913 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4663363 13587718144 89602 33554432000 4194304 4196468 140721512209872 139952901371232 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18351] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18351/stat : 18351 (java) S 18337 18337 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4663363 13587718144 89602 33554432000 4194304 4196468 140721512209872 139952900318848 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18352] ppid=18337 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18352/stat : 18352 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4663367 13587718144 89602 33554432000 4194304 4196468 140721512209872 139952899267152 139953440192411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
################
# More data... #
################
[pid=18338/tid=18421] ppid=18337 vsize=14001460 CPUtime=208.69 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18421/stat : 18421 (java) R 18337 18337 16913 0 -1 4202560 2313 0 0 0 20865 4 0 0 20 0 28 0 4664633 14337495040 391222 33554432000 4194304 4196468 140721512209872 139952878621000 139953076346482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18422] ppid=18337 vsize=14001460 CPUtime=207.95 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18422/stat : 18422 (java) R 18337 18337 16913 0 -1 4202560 1644 0 0 0 20792 3 0 0 20 0 28 0 4664633 14337495040 391222 33554432000 4194304 4196468 140721512209872 139952882831464 139953070758070 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
Current children cumulated CPU time (s) 1698.74
Current children cumulated vsize (KiB) 14010972
[startup+282.301 s]
/proc/loadavg: 15.72 14.93 13.98 17/304 18697
/proc/meminfo: memFree=28720992/32770624 swapFree=5900/309808
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
[pid=18338] ppid=18337 vsize=14001460 CPUtime=2176.32 cores=0,2,4,6,8,10,12,14
/proc/18338/stat : 18338 (java) S 18337 18337 16913 0 -1 1077944320 108138 0 0 0 217309 323 0 0 20 0 28 0 4663358 14337495040 392741 33554432000 4194304 4196468 140721512209872 140721512192416 139953440173815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
/proc/18338/statm: 3500365 392741 3294 1 0 3487598 0
[pid=18338/tid=18339] ppid=18337 vsize=14001460 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18339/stat : 18339 (java) S 18337 18337 16913 0 -1 1077944384 10928 0 0 0 994 6 0 0 20 0 28 0 4663359 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953444414592 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18341] ppid=18337 vsize=14001460 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18341/stat : 18341 (java) S 18337 18337 16913 0 -1 1077944384 1394 0 0 0 66 33 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953392794512 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18342] ppid=18337 vsize=14001460 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18342/stat : 18342 (java) S 18337 18337 16913 0 -1 1077944384 1338 0 0 0 67 33 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953391741712 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18343] ppid=18337 vsize=14001460 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18343/stat : 18343 (java) S 18337 18337 16913 0 -1 1077944384 916 0 0 0 68 34 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953390689424 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18344] ppid=18337 vsize=14001460 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18344/stat : 18344 (java) S 18337 18337 16913 0 -1 1077944384 2033 0 0 0 66 35 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953389636624 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18345] ppid=18337 vsize=14001460 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18345/stat : 18345 (java) S 18337 18337 16913 0 -1 1077944384 1227 0 0 0 66 30 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953035475344 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18346] ppid=18337 vsize=14001460 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18346/stat : 18346 (java) S 18337 18337 16913 0 -1 1077944384 1422 0 0 0 62 30 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953034422544 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18347] ppid=18337 vsize=14001460 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18347/stat : 18347 (java) S 18337 18337 16913 0 -1 1077944384 1810 0 0 0 66 35 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953033370256 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18348] ppid=18337 vsize=14001460 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18348/stat : 18348 (java) S 18337 18337 16913 0 -1 1077944384 1767 0 0 0 64 33 0 0 20 0 28 0 4663360 14337495040 392741 33554432000 4194304 4196468 140721512209872 139953032317456 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18349] ppid=18337 vsize=14001460 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18349/stat : 18349 (java) S 18337 18337 16913 0 -1 1077944384 4687 0 0 0 15 7 0 0 20 0 28 0 4663362 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952902425200 139953440184962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18350] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18350/stat : 18350 (java) S 18337 18337 16913 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4663363 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952901371232 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18351] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18351/stat : 18351 (java) S 18337 18337 16913 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 4663363 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952900318848 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18352] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18352/stat : 18352 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663367 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952899267152 139953440192411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18353] ppid=18337 vsize=14001460 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18353/stat : 18353 (java) S 18337 18337 16913 0 -1 1077944384 18385 0 0 0 372 3 0 0 20 0 28 0 4663367 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952898214000 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18354] ppid=18337 vsize=14001460 CPUtime=4.12 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18354/stat : 18354 (java) S 18337 18337 16913 0 -1 1077944384 15647 0 0 0 409 3 0 0 20 0 28 0 4663367 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952897161200 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18355] ppid=18337 vsize=14001460 CPUtime=3.51 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18355/stat : 18355 (java) S 18337 18337 16913 0 -1 1077944384 12633 0 0 0 349 2 0 0 20 0 28 0 4663367 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952896108912 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18356] ppid=18337 vsize=14001460 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18356/stat : 18356 (java) S 18337 18337 16913 0 -1 1077944384 11098 0 0 0 118 2 0 0 20 0 28 0 4663367 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952895056112 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18357] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18357/stat : 18357 (java) S 18337 18337 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4663367 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952894004064 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18358] ppid=18337 vsize=14001460 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18358/stat : 18358 (java) S 18337 18337 16913 0 -1 1077944384 1395 0 0 0 8 8 0 0 20 0 28 0 4663368 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952892951344 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18415] ppid=18337 vsize=14001460 CPUtime=268.06 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18415/stat : 18415 (java) R 18337 18337 16913 0 -1 4202560 1875 0 0 0 26804 2 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952884936088 139953076346225 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18416] ppid=18337 vsize=14001460 CPUtime=267.67 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18416/stat : 18416 (java) R 18337 18337 16913 0 -1 4202560 1932 0 0 0 26766 1 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952875462824 139953076346482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18417] ppid=18337 vsize=14001460 CPUtime=265.98 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18417/stat : 18417 (java) R 18337 18337 16913 0 -1 4202560 3366 0 0 0 26595 3 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952881781248 139953076346482 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18418] ppid=18337 vsize=14001460 CPUtime=267.12 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18418/stat : 18418 (java) R 18337 18337 16913 0 -1 4202560 3013 0 0 0 26710 2 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952874409736 139953076212371 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18419] ppid=18337 vsize=14001460 CPUtime=266.31 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18419/stat : 18419 (java) R 18337 18337 16913 0 -1 4202560 2593 0 0 0 26630 1 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952883883920 139953076212163 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18420] ppid=18337 vsize=14001460 CPUtime=267.37 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18420/stat : 18420 (java) R 18337 18337 16913 0 -1 4202560 1397 0 0 0 26735 2 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952877568184 139953076212163 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18421] ppid=18337 vsize=14001460 CPUtime=267.6 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18421/stat : 18421 (java) R 18337 18337 16913 0 -1 4202560 2512 0 0 0 26756 4 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952878621048 139953076346267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18422] ppid=18337 vsize=14001460 CPUtime=267.81 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18422/stat : 18422 (java) R 18337 18337 16913 0 -1 4202560 1934 0 0 0 26778 3 0 0 20 0 28 0 4664633 14337495040 392741 33554432000 4194304 4196468 140721512209872 139952882831480 139953077045567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
Current children cumulated CPU time (s) 2176.32
Current children cumulated vsize (KiB) 14010972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+310.401 s]
/proc/loadavg: 15.82 15.02 14.03 17/303 18697
/proc/meminfo: memFree=28696552/32770624 swapFree=5900/309820
[pid=18337] ppid=18334 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18337/stat : 18337 (xcsp3-exec) S 18334 18337 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4663358 9740288 346 33554432000 4194304 5098028 140734266815968 140734266814072 139875258811004 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 15888384 140734266819726 140734266819936 140734266819936 140734266822635 0
/proc/18337/statm: 2378 346 289 221 0 87 0
[pid=18338] ppid=18337 vsize=14001460 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/18338/stat : 18338 (java) S 18337 18337 16913 0 -1 1077944320 110761 0 0 0 239683 325 0 0 20 0 28 0 4663358 14337495040 393246 33554432000 4194304 4196468 140721512209872 140721512192416 139953440173815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
/proc/18338/statm: 3500365 393246 3294 1 0 3487598 0
[pid=18338/tid=18339] ppid=18337 vsize=14001460 CPUtime=10 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18339/stat : 18339 (java) S 18337 18337 16913 0 -1 1077944384 10928 0 0 0 994 6 0 0 20 0 28 0 4663359 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953444414592 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18341] ppid=18337 vsize=14001460 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18341/stat : 18341 (java) S 18337 18337 16913 0 -1 1077944384 1397 0 0 0 67 33 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953392794512 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18342] ppid=18337 vsize=14001460 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18342/stat : 18342 (java) S 18337 18337 16913 0 -1 1077944384 1342 0 0 0 67 33 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953391741712 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18343] ppid=18337 vsize=14001460 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18343/stat : 18343 (java) S 18337 18337 16913 0 -1 1077944384 920 0 0 0 69 34 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953390689424 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18344] ppid=18337 vsize=14001460 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18344/stat : 18344 (java) S 18337 18337 16913 0 -1 1077944384 2039 0 0 0 67 35 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953389636624 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18345] ppid=18337 vsize=14001460 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18345/stat : 18345 (java) S 18337 18337 16913 0 -1 1077944384 1230 0 0 0 66 30 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953035475344 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18346] ppid=18337 vsize=14001460 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18346/stat : 18346 (java) S 18337 18337 16913 0 -1 1077944384 1426 0 0 0 62 30 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953034422544 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18347] ppid=18337 vsize=14001460 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18347/stat : 18347 (java) S 18337 18337 16913 0 -1 1077944384 1812 0 0 0 67 35 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953033370256 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18348] ppid=18337 vsize=14001460 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18348/stat : 18348 (java) S 18337 18337 16913 0 -1 1077944384 1772 0 0 0 65 33 0 0 20 0 28 0 4663360 14337495040 393246 33554432000 4194304 4196468 140721512209872 139953032317456 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18349] ppid=18337 vsize=14001460 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18349/stat : 18349 (java) S 18337 18337 16913 0 -1 1077944384 4690 0 0 0 15 7 0 0 20 0 28 0 4663362 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952902425200 139953440184962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18350] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18350/stat : 18350 (java) S 18337 18337 16913 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 4663363 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952901371232 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18351] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18351/stat : 18351 (java) S 18337 18337 16913 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 4663363 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952900318848 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18352] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18352/stat : 18352 (java) S 18337 18337 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4663367 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952899267152 139953440192411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18353] ppid=18337 vsize=14001460 CPUtime=3.75 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18353/stat : 18353 (java) S 18337 18337 16913 0 -1 1077944384 18385 0 0 0 372 3 0 0 20 0 28 0 4663367 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952898214000 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18354] ppid=18337 vsize=14001460 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18354/stat : 18354 (java) S 18337 18337 16913 0 -1 1077944384 16969 0 0 0 412 3 0 0 20 0 28 0 4663367 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952897161200 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18355] ppid=18337 vsize=14001460 CPUtime=3.51 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18355/stat : 18355 (java) S 18337 18337 16913 0 -1 1077944384 12633 0 0 0 349 2 0 0 20 0 28 0 4663367 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952896108912 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18356] ppid=18337 vsize=14001460 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18356/stat : 18356 (java) S 18337 18337 16913 0 -1 1077944384 11648 0 0 0 118 2 0 0 20 0 28 0 4663367 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952895056112 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18357] ppid=18337 vsize=14001460 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18357/stat : 18357 (java) S 18337 18337 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4663367 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952894004064 139953440184021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18358] ppid=18337 vsize=14001460 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18358/stat : 18358 (java) S 18337 18337 16913 0 -1 1077944384 1400 0 0 0 9 9 0 0 20 0 28 0 4663368 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952892951344 139953440184962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18415] ppid=18337 vsize=14001460 CPUtime=296.11 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18415/stat : 18415 (java) R 18337 18337 16913 0 -1 4202560 1933 0 0 0 29609 2 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952884936216 139953076348305 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18416] ppid=18337 vsize=14001460 CPUtime=295.72 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18416/stat : 18416 (java) R 18337 18337 16913 0 -1 4202560 1988 0 0 0 29570 2 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952875463640 139953076212446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18417] ppid=18337 vsize=14001460 CPUtime=293.97 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18417/stat : 18417 (java) R 18337 18337 16913 0 -1 4202560 3436 0 0 0 29394 3 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952881778504 139953076212066 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18418] ppid=18337 vsize=14001460 CPUtime=294.56 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18418/stat : 18418 (java) R 18337 18337 16913 0 -1 4202560 3063 0 0 0 29454 2 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952874409800 139953076346267 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18419] ppid=18337 vsize=14001460 CPUtime=294.37 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18419/stat : 18419 (java) R 18337 18337 16913 0 -1 4202560 2686 0 0 0 29436 1 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952883884168 139953076212136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18420] ppid=18337 vsize=14001460 CPUtime=295.34 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18420/stat : 18420 (java) R 18337 18337 16913 0 -1 4202560 1679 0 0 0 29532 2 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952877570672 139953076211927 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18421] ppid=18337 vsize=14001460 CPUtime=295.64 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18421/stat : 18421 (java) R 18337 18337 16913 0 -1 4202560 2562 0 0 0 29560 4 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952878620992 139953076440421 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
[pid=18338/tid=18422] ppid=18337 vsize=14001460 CPUtime=295.84 cores=0,2,4,6,8,10,12,14
/proc/18338/task/18422/stat : 18422 (java) R 18337 18337 16913 0 -1 4202560 1987 0 0 0 29581 3 0 0 20 0 28 0 4664633 14337495040 393246 33554432000 4194304 4196468 140721512209872 139952882831400 139953076212136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140721512211644 140721512211820 140721512211820 140721512214479 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 14010972
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18338 sig 9
??? kill 18337 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18337 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1602
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1602
# CPU time returned by wait4() is 0.003204
# while last known CPU time is 2400.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 310.412
CPU time (s): 2400.08
CPU user time (s): 2396.83
CPU system time (s): 3.25
CPU usage (%): 773.192
Max. virtual memory (cumulated for all children) (KiB): 14010972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001602
system time used= 0.001602
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.44153 second user time and 4.3212 second system time
The end