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-4248900-1500693450/watcher-4248900-1500693450 -o /tmp/evaluation-result-4248900-1500693450/solver-4248900-1500693450 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1496325291 HOME/instance-4248900-1500693450.xml
pid=13791
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: 10.12 12.36 13.43 10/270 13794
/proc/meminfo: memFree=29740992/32770624 swapFree=5656/331792
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
[startup+0.100126 s]
/proc/loadavg: 10.12 12.36 13.43 10/270 13794
/proc/meminfo: memFree=29740992/32770624 swapFree=5656/331792
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200293 s]
/proc/loadavg: 10.12 12.36 13.43 10/270 13794
/proc/meminfo: memFree=29740992/32770624 swapFree=5656/331792
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30024 s]
/proc/loadavg: 10.12 12.36 13.43 10/270 13794
/proc/meminfo: memFree=29740992/32770624 swapFree=5656/331792
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700208 s]
/proc/loadavg: 10.12 12.36 13.43 10/270 13794
/proc/meminfo: memFree=29740992/32770624 swapFree=5656/331792
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50112 s]
/proc/loadavg: 10.12 12.36 13.43 13/291 13815
/proc/meminfo: memFree=29583952/32770624 swapFree=5656/331800
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
[pid=13795] ppid=13794 vsize=13801768 CPUtime=5.54 cores=0,2,4,6,8,10,12,14
/proc/13795/stat : 13795 (java) S 13794 13794 7102 0 -1 1077944320 21667 0 0 0 534 20 0 0 20 0 28 0 4612484 14133010432 54368 33554432000 4194304 4196468 140731283959472 140731283942016 140439251459831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
/proc/13795/statm: 3450442 54368 3245 1 0 3437675 0
[pid=13795/tid=13796] ppid=13794 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13796/stat : 13796 (java) S 13794 13794 7102 0 -1 1077944384 8141 0 0 0 119 4 0 0 20 0 28 0 4612484 14133010432 54368 33554432000 4194304 4196468 140731283959472 140439255700608 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13798] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13798/stat : 13798 (java) S 13794 13794 7102 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438850198288 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13799] ppid=13794 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13799/stat : 13799 (java) S 13794 13794 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438849145744 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13800] ppid=13794 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13800/stat : 13800 (java) S 13794 13794 7102 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438848093200 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13801] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13801/stat : 13801 (java) S 13794 13794 7102 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438847040656 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13802] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13802/stat : 13802 (java) S 13794 13794 7102 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438845987088 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13803] ppid=13794 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13803/stat : 13803 (java) S 13794 13794 7102 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438844934544 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13804] ppid=13794 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13804/stat : 13804 (java) S 13794 13794 7102 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438843882000 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13805] ppid=13794 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13805/stat : 13805 (java) S 13794 13794 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 4612485 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438842829456 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13806] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13806/stat : 13806 (java) S 13794 13794 7102 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 28 0 4612488 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438444935664 140439251470978 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13807] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13807/stat : 13807 (java) S 13794 13794 7102 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4612488 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438443881888 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13808] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13808/stat : 13808 (java) S 13794 13794 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4612489 14133010432 54368 33554432000 4194304 4196468 140731283959472 140438442829296 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13809] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13809/stat : 13809 (java) S 13794 13794 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4612493 14133010432 54430 33554432000 4194304 4196468 140731283959472 140438441777872 140439251478427 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13810] ppid=13794 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13810/stat : 13810 (java) R 13794 13794 7102 0 -1 4202560 3044 0 0 0 84 0 0 0 20 0 28 0 4612493 14133010432 54430 33554432000 4194304 4196468 140731283959472 140438440710528 140439235859566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13811] ppid=13794 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13811/stat : 13811 (java) R 13794 13794 7102 0 -1 4202560 2773 0 0 0 84 0 0 0 20 0 28 0 4612493 14133010432 54430 33554432000 4194304 4196468 140731283959472 140438439659960 140439234958786 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13812] ppid=13794 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13812/stat : 13812 (java) R 13794 13794 7102 0 -1 4202560 3322 0 0 0 86 0 0 0 20 0 28 0 4612493 14133010432 54430 33554432000 4194304 4196468 140731283959472 140438438599704 140439236562245 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13813] ppid=13794 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13813/stat : 13813 (java) R 13794 13794 7102 0 -1 4202560 2232 0 0 0 52 0 0 0 20 0 28 0 4612493 14133010432 54430 33554432000 4194304 4196468 140731283959472 140438437566832 140439229973141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13814] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13814/stat : 13814 (java) S 13794 13794 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4612494 14133010432 54430 33554432000 4194304 4196468 140731283959472 140438436514528 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13815] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13815/stat : 13815 (java) S 13794 13794 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4612494 14133010432 54430 33554432000 4194304 4196468 140731283959472 140438435462064 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 13811280
[startup+3.10153 s]
/proc/loadavg: 10.12 12.36 13.43 14/269 13831
/proc/meminfo: memFree=31561792/32770624 swapFree=5656/331844
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
[pid=13795] ppid=13794 vsize=13801768 CPUtime=18.25 cores=0,2,4,6,8,10,12,14
/proc/13795/stat : 13795 (java) S 13794 13794 7102 0 -1 1077944320 30078 0 0 0 1802 23 0 0 20 0 28 0 4612484 14133010432 62147 33554432000 4194304 4196468 140731283959472 140731283942016 140439251459831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
/proc/13795/statm: 3450442 62147 3275 1 0 3437675 0
[pid=13795/tid=13796] ppid=13794 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13796/stat : 13796 (java) S 13794 13794 7102 0 -1 1077944384 8141 0 0 0 119 4 0 0 20 0 28 0 4612484 14133010432 62147 33554432000 4194304 4196468 140731283959472 140439255700608 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13798] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13798/stat : 13798 (java) S 13794 13794 7102 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438850198288 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13799] ppid=13794 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13799/stat : 13799 (java) S 13794 13794 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438849145744 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13800] ppid=13794 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13800/stat : 13800 (java) S 13794 13794 7102 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438848093200 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13801] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13801/stat : 13801 (java) S 13794 13794 7102 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438847040656 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13802] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13802/stat : 13802 (java) S 13794 13794 7102 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438845987088 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13803] ppid=13794 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13803/stat : 13803 (java) S 13794 13794 7102 0 -1 1077944384 32 0 0 0 2 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438844934544 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13804] ppid=13794 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13804/stat : 13804 (java) S 13794 13794 7102 0 -1 1077944384 56 0 0 0 2 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438843882000 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13805] ppid=13794 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13805/stat : 13805 (java) S 13794 13794 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 4612485 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438842829456 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13806] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13806/stat : 13806 (java) S 13794 13794 7102 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 28 0 4612488 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438444935664 140439251470978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13807] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13807/stat : 13807 (java) S 13794 13794 7102 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4612488 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438443881888 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13808] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13808/stat : 13808 (java) S 13794 13794 7102 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4612489 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438442829296 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13809] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13809/stat : 13809 (java) S 13794 13794 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4612493 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438441777872 140439251478427 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13810] ppid=13794 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13810/stat : 13810 (java) R 13794 13794 7102 0 -1 4202560 5168 0 0 0 198 1 0 0 20 0 28 0 4612493 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438440716952 140439236583398 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13811] ppid=13794 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13811/stat : 13811 (java) R 13794 13794 7102 0 -1 4202560 5962 0 0 0 200 1 0 0 20 0 28 0 4612493 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438439657944 140439233004035 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13812] ppid=13794 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13812/stat : 13812 (java) R 13794 13794 7102 0 -1 4202560 4670 0 0 0 194 1 0 0 20 0 28 0 4612493 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438438605680 140439229825504 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13813] ppid=13794 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13813/stat : 13813 (java) S 13794 13794 7102 0 -1 1077944384 3583 0 0 0 74 1 0 0 20 0 28 0 4612493 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438437566832 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13814] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13814/stat : 13814 (java) S 13794 13794 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4612494 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438436514528 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13815] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13815/stat : 13815 (java) S 13794 13794 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4612494 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438435462064 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13816] ppid=13794 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13816/stat : 13816 (java) R 13794 13794 7102 0 -1 4202560 94 0 0 0 145 0 0 0 20 0 28 0 4612613 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438427446968 140438877039535 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13817] ppid=13794 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13817/stat : 13817 (java) R 13794 13794 7102 0 -1 4202560 102 0 0 0 114 0 0 0 20 0 28 0 4612613 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438426395912 140438877139527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13818] ppid=13794 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13818/stat : 13818 (java) R 13794 13794 7102 0 -1 4202560 71 0 0 0 119 0 0 0 20 0 28 0 4612613 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438425341784 140438877291631 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13819] ppid=13794 vsize=13801768 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13819/stat : 13819 (java) R 13794 13794 7102 0 -1 4202560 54 0 0 0 118 0 0 0 20 0 28 0 4612613 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438424288240 140438877764907 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13820] ppid=13794 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13820/stat : 13820 (java) R 13794 13794 7102 0 -1 4202560 76 0 0 0 123 0 0 0 20 0 28 0 4612614 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438423239192 140438877764238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13821] ppid=13794 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13821/stat : 13821 (java) R 13794 13794 7102 0 -1 4202560 84 0 0 0 127 0 0 0 20 0 28 0 4612614 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438422184472 140438877039863 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13822] ppid=13794 vsize=13801768 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13822/stat : 13822 (java) R 13794 13794 7102 0 -1 4202560 90 0 0 0 134 0 0 0 20 0 28 0 4612614 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438421133984 140438877293718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13823] ppid=13794 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13823/stat : 13823 (java) R 13794 13794 7102 0 -1 4202560 106 0 0 0 119 0 0 0 20 0 28 0 4612614 14133010432 62147 33554432000 4194304 4196468 140731283959472 140438420078336 140438877925497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
Current children cumulated CPU time (s) 18.25
Current children cumulated vsize (KiB) 13811280
[startup+6.30157 s]
/proc/loadavg: 10.59 12.42 13.45 18/299 13917
/proc/meminfo: memFree=31325968/32770624 swapFree=5656/331880
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
[pid=13795] ppid=13794 vsize=13801768 CPUtime=43.69 cores=0,2,4,6,8,10,12,14
/proc/13795/stat : 13795 (java) S 13794 13794 7102 0 -1 1077944320 30513 0 0 0 4345 24 0 0 20 0 28 0 4612484 14133010432 61587 33554432000 4194304 4196468 140731283959472 140731283942016 140439251459831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
/proc/13795/statm: 3450442 61587 3278 1 0 3437675 0
[pid=13795/tid=13796] ppid=13794 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13796/stat : 13796 (java) S 13794 13794 7102 0 -1 1077944384 8141 0 0 0 119 4 0 0 20 0 28 0 4612484 14133010432 61587 33554432000 4194304 4196468 140731283959472 140439255700608 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13798] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13798/stat : 13798 (java) S 13794 13794 7102 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 61587 33554432000 4194304 4196468 140731283959472 140438850198288 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13799] ppid=13794 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13799/stat : 13799 (java) S 13794 13794 7102 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 4612485 14133010432 61587 33554432000 4194304 4196468 140731283959472 140438849145744 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13800] ppid=13794 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13800/stat : 13800 (java) S 13794 13794 7102 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 28 0 4612485 14133010432 61587 33554432000 4194304 4196468 140731283959472 140438848093200 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13801] ppid=13794 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13801/stat : 13801 (java) S 13794 13794 7102 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 4612485 14133010432 61587 33554432000 4194304 4196468 140731283959472 140438847040656 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
################
# More data... #
################
[pid=13795/tid=13822] ppid=13794 vsize=13801768 CPUtime=217.89 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13822/stat : 13822 (java) R 13794 13794 7102 0 -1 4202560 919 0 0 0 21788 1 0 0 20 0 28 0 4612614 14133010432 203210 33554432000 4194304 4196468 140731283959472 140438421131216 140438876867650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13823] ppid=13794 vsize=13801768 CPUtime=218.59 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13823/stat : 13823 (java) R 13794 13794 7102 0 -1 4202560 1835 0 0 0 21855 4 0 0 20 0 28 0 4612614 14133010432 203210 33554432000 4194304 4196468 140731283959472 140438420078936 140438879014869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.06 14.64 14.13 17/300 13928
/proc/meminfo: memFree=30095520/32770624 swapFree=5656/332168
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
[pid=13795] ppid=13794 vsize=13801768 CPUtime=2233.88 cores=0,2,4,6,8,10,12,14
/proc/13795/stat : 13795 (java) S 13794 13794 7102 0 -1 1077944320 69169 0 0 0 223152 236 0 0 20 0 28 0 4612484 14133010432 212509 33554432000 4194304 4196468 140731283959472 140731283942016 140439251459831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
/proc/13795/statm: 3450442 212509 3299 1 0 3437675 0
[pid=13795/tid=13796] ppid=13794 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13796/stat : 13796 (java) S 13794 13794 7102 0 -1 1077944384 8141 0 0 0 119 4 0 0 20 0 28 0 4612484 14133010432 212509 33554432000 4194304 4196468 140731283959472 140439255700608 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13798] ppid=13794 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13798/stat : 13798 (java) S 13794 13794 7102 0 -1 1077944384 1151 0 0 0 49 21 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438850198288 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13799] ppid=13794 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13799/stat : 13799 (java) S 13794 13794 7102 0 -1 1077944384 769 0 0 0 49 20 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438849145744 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13800] ppid=13794 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13800/stat : 13800 (java) S 13794 13794 7102 0 -1 1077944384 751 0 0 0 48 21 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438848093200 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13801] ppid=13794 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13801/stat : 13801 (java) S 13794 13794 7102 0 -1 1077944384 1426 0 0 0 50 20 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438847040656 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13802] ppid=13794 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13802/stat : 13802 (java) S 13794 13794 7102 0 -1 1077944384 881 0 0 0 49 21 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438845987088 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13803] ppid=13794 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13803/stat : 13803 (java) S 13794 13794 7102 0 -1 1077944384 1486 0 0 0 51 18 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438844934544 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13804] ppid=13794 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13804/stat : 13804 (java) S 13794 13794 7102 0 -1 1077944384 772 0 0 0 49 21 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438843882000 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13805] ppid=13794 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13805/stat : 13805 (java) S 13794 13794 7102 0 -1 1077944384 1890 0 0 0 48 20 0 0 20 0 28 0 4612485 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438842829456 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13806] ppid=13794 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13806/stat : 13806 (java) S 13794 13794 7102 0 -1 1077944384 5255 0 0 0 36 35 0 0 20 0 28 0 4612488 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438444935664 140439251470978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13807] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13807/stat : 13807 (java) S 13794 13794 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4612488 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438443881952 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13808] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13808/stat : 13808 (java) S 13794 13794 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4612489 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438442829312 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13809] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13809/stat : 13809 (java) S 13794 13794 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4612493 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438441777872 140439251478427 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13810] ppid=13794 vsize=13801768 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13810/stat : 13810 (java) S 13794 13794 7102 0 -1 1077944384 9143 0 0 0 279 2 0 0 20 0 28 0 4612493 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438440724464 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13811] ppid=13794 vsize=13801768 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13811/stat : 13811 (java) S 13794 13794 7102 0 -1 1077944384 10188 0 0 0 264 1 0 0 20 0 28 0 4612493 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438439671920 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13812] ppid=13794 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13812/stat : 13812 (java) S 13794 13794 7102 0 -1 1077944384 9367 0 0 0 273 2 0 0 20 0 28 0 4612493 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438438619376 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13813] ppid=13794 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13813/stat : 13813 (java) S 13794 13794 7102 0 -1 1077944384 6348 0 0 0 83 2 0 0 20 0 28 0 4612493 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438437566832 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13814] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13814/stat : 13814 (java) S 13794 13794 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4612494 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438436514528 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13815] ppid=13794 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13815/stat : 13815 (java) S 13794 13794 7102 0 -1 1077944384 550 0 0 0 6 7 0 0 20 0 28 0 4612494 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438435462064 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13816] ppid=13794 vsize=13801768 CPUtime=277.48 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13816/stat : 13816 (java) R 13794 13794 7102 0 -1 4202560 1153 0 0 0 27747 1 0 0 20 0 28 0 4612613 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438427446496 140438878916273 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13817] ppid=13794 vsize=13801768 CPUtime=277.08 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13817/stat : 13817 (java) R 13794 13794 7102 0 -1 4202560 990 0 0 0 27706 2 0 0 20 0 28 0 4612613 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438426395224 140438879014846 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13818] ppid=13794 vsize=13801768 CPUtime=277.9 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13818/stat : 13818 (java) R 13794 13794 7102 0 -1 4202560 2172 0 0 0 27788 2 0 0 20 0 28 0 4612613 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438425341400 140438877408004 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13819] ppid=13794 vsize=13801768 CPUtime=276.84 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13819/stat : 13819 (java) R 13794 13794 7102 0 -1 4202560 918 0 0 0 27682 2 0 0 20 0 28 0 4612613 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438424291888 140438877407577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13820] ppid=13794 vsize=13801768 CPUtime=277.07 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13820/stat : 13820 (java) R 13794 13794 7102 0 -1 4202560 1080 0 0 0 27706 1 0 0 20 0 28 0 4612614 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438423236552 140438878355086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13821] ppid=13794 vsize=13801768 CPUtime=276.13 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13821/stat : 13821 (java) R 13794 13794 7102 0 -1 4202560 470 0 0 0 27613 0 0 0 20 0 28 0 4612614 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438422184008 140438877407896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13822] ppid=13794 vsize=13801768 CPUtime=276.9 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13822/stat : 13822 (java) R 13794 13794 7102 0 -1 4202560 972 0 0 0 27689 1 0 0 20 0 28 0 4612614 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438421131480 140438878682635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13823] ppid=13794 vsize=13801768 CPUtime=277.58 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13823/stat : 13823 (java) R 13794 13794 7102 0 -1 4202560 1951 0 0 0 27754 4 0 0 20 0 28 0 4612614 14133010432 212509 33554432000 4194304 4196468 140731283959472 140438420078920 140438879014448 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
Current children cumulated CPU time (s) 2233.88
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.402 s]
/proc/loadavg: 16.04 14.72 14.17 17/300 13928
/proc/meminfo: memFree=30097552/32770624 swapFree=5656/332184
[pid=13794] ppid=13791 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13794/stat : 13794 (xcsp3-exec) S 13791 13794 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4612483 9740288 345 33554432000 4194304 5098028 140723861465920 140723861464024 139971275305596 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7299072 140723861468302 140723861468512 140723861468512 140723861471211 0
/proc/13794/statm: 2378 345 289 221 0 87 0
[pid=13795] ppid=13794 vsize=13801768 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14
/proc/13795/stat : 13795 (java) S 13794 13794 7102 0 -1 1077944320 69912 0 0 0 239785 247 0 0 20 0 28 0 4612484 14133010432 212598 33554432000 4194304 4196468 140731283959472 140731283942016 140439251459831 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
/proc/13795/statm: 3450442 212598 3301 1 0 3437675 0
[pid=13795/tid=13796] ppid=13794 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13796/stat : 13796 (java) S 13794 13794 7102 0 -1 1077944384 8141 0 0 0 119 4 0 0 20 0 28 0 4612484 14133010432 212598 33554432000 4194304 4196468 140731283959472 140439255700608 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13798] ppid=13794 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13798/stat : 13798 (java) S 13794 13794 7102 0 -1 1077944384 1169 0 0 0 61 22 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438850198288 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13799] ppid=13794 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13799/stat : 13799 (java) S 13794 13794 7102 0 -1 1077944384 784 0 0 0 60 21 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438849145744 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13800] ppid=13794 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13800/stat : 13800 (java) S 13794 13794 7102 0 -1 1077944384 784 0 0 0 60 21 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438848093200 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13801] ppid=13794 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13801/stat : 13801 (java) S 13794 13794 7102 0 -1 1077944384 1492 0 0 0 63 20 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438847040656 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13802] ppid=13794 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13802/stat : 13802 (java) S 13794 13794 7102 0 -1 1077944384 915 0 0 0 60 21 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438845987088 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13803] ppid=13794 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13803/stat : 13803 (java) S 13794 13794 7102 0 -1 1077944384 1515 0 0 0 63 18 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438844934544 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13804] ppid=13794 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13804/stat : 13804 (java) S 13794 13794 7102 0 -1 1077944384 808 0 0 0 61 21 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438843882000 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13805] ppid=13794 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13805/stat : 13805 (java) S 13794 13794 7102 0 -1 1077944384 1931 0 0 0 60 20 0 0 20 0 28 0 4612485 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438842829456 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13806] ppid=13794 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13806/stat : 13806 (java) S 13794 13794 7102 0 -1 1077944384 5522 0 0 0 42 43 0 0 20 0 28 0 4612488 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438444935664 140439251470978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13807] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13807/stat : 13807 (java) S 13794 13794 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4612488 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438443881952 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13808] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13808/stat : 13808 (java) S 13794 13794 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4612489 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438442829312 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13809] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13809/stat : 13809 (java) S 13794 13794 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4612493 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438441777872 140439251478427 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13810] ppid=13794 vsize=13801768 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13810/stat : 13810 (java) S 13794 13794 7102 0 -1 1077944384 9145 0 0 0 279 2 0 0 20 0 28 0 4612493 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438440724464 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13811] ppid=13794 vsize=13801768 CPUtime=2.65 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13811/stat : 13811 (java) S 13794 13794 7102 0 -1 1077944384 10247 0 0 0 264 1 0 0 20 0 28 0 4612493 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438439671920 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13812] ppid=13794 vsize=13801768 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13812/stat : 13812 (java) S 13794 13794 7102 0 -1 1077944384 9369 0 0 0 273 2 0 0 20 0 28 0 4612493 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438438619376 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13813] ppid=13794 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13813/stat : 13813 (java) S 13794 13794 7102 0 -1 1077944384 6350 0 0 0 83 2 0 0 20 0 28 0 4612493 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438437566832 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13814] ppid=13794 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13814/stat : 13814 (java) S 13794 13794 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4612494 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438436514528 140439251470037 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13815] ppid=13794 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13815/stat : 13815 (java) S 13794 13794 7102 0 -1 1077944384 554 0 0 0 7 7 0 0 20 0 28 0 4612494 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438435462064 140439251470978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13816] ppid=13794 vsize=13801768 CPUtime=298.2 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13816/stat : 13816 (java) R 13794 13794 7102 0 -1 4202560 1177 0 0 0 29819 1 0 0 20 0 28 0 4612613 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438427446760 140438878916628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13817] ppid=13794 vsize=13801768 CPUtime=297.78 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13817/stat : 13817 (java) R 13794 13794 7102 0 -1 4202560 1009 0 0 0 29776 2 0 0 20 0 28 0 4612613 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438426395736 140438877407924 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13818] ppid=13794 vsize=13801768 CPUtime=298.62 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13818/stat : 13818 (java) R 13794 13794 7102 0 -1 4202560 2198 0 0 0 29860 2 0 0 20 0 28 0 4612613 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438425341656 140438877408129 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13819] ppid=13794 vsize=13801768 CPUtime=297.47 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13819/stat : 13819 (java) R 13794 13794 7102 0 -1 4202560 932 0 0 0 29745 2 0 0 20 0 28 0 4612613 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438424288848 140438878916493 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13820] ppid=13794 vsize=13801768 CPUtime=297.59 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13820/stat : 13820 (java) R 13794 13794 7102 0 -1 4202560 1094 0 0 0 29758 1 0 0 20 0 28 0 4612614 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438423237080 140438878916564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13821] ppid=13794 vsize=13801768 CPUtime=296.83 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13821/stat : 13821 (java) R 13794 13794 7102 0 -1 4202560 477 0 0 0 29682 1 0 0 20 0 28 0 4612614 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438422184008 140438872806935 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13822] ppid=13794 vsize=13801768 CPUtime=297.57 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13822/stat : 13822 (java) R 13794 13794 7102 0 -1 4202560 993 0 0 0 29756 1 0 0 20 0 28 0 4612614 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438421134256 140438872807112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
[pid=13795/tid=13823] ppid=13794 vsize=13801768 CPUtime=298.24 cores=0,2,4,6,8,10,12,14
/proc/13795/task/13823/stat : 13823 (java) R 13794 13794 7102 0 -1 4202560 1961 0 0 0 29820 4 0 0 20 0 28 0 4612614 14133010432 212598 33554432000 4194304 4196468 140731283959472 140438420078696 140438877407665 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15982592 140731283961020 140731283961196 140731283961196 140731283963855 0
Current children cumulated CPU time (s) 2400.32
Current children cumulated vsize (KiB) 13811280
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 13795 sig 9
??? kill 13794 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 13794 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1454
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2045
# CPU time returned by wait4() is 0.003499
# while last known CPU time is 2400.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.412
CPU time (s): 2400.32
CPU user time (s): 2397.85
CPU system time (s): 2.47
CPU usage (%): 791.108
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001454
system time used= 0.002045
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.74633 second user time and 4.56632 second system time
The end