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-4244556-1500683861/watcher-4244556-1500683861 -o /tmp/evaluation-result-4244556-1500683861/solver-4244556-1500683861 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1425857792 HOME/instance-4244556-1500683861.xml
pid=16111
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.98 15.53 11.77 10/270 16114
/proc/meminfo: memFree=31745784/32770624 swapFree=5972/217016
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 15.98 15.53 11.77 10/270 16114
/proc/meminfo: memFree=31745784/32770624 swapFree=5972/217016
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200304 s]
/proc/loadavg: 15.98 15.53 11.77 10/270 16114
/proc/meminfo: memFree=31745784/32770624 swapFree=5972/217016
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300308 s]
/proc/loadavg: 15.98 15.53 11.77 10/270 16114
/proc/meminfo: memFree=31745784/32770624 swapFree=5972/217016
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700195 s]
/proc/loadavg: 15.98 15.53 11.77 10/270 16114
/proc/meminfo: memFree=31745784/32770624 swapFree=5972/217016
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.501 s]
/proc/loadavg: 15.98 15.53 11.77 13/291 16135
/proc/meminfo: memFree=31603664/32770624 swapFree=5972/217048
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
[pid=16115] ppid=16114 vsize=13801768 CPUtime=5.83 cores=0,2,4,6,8,10,12,14
/proc/16115/stat : 16115 (java) S 16114 16114 14626 0 -1 1077944320 24811 0 0 0 564 19 0 0 20 0 28 0 3655555 14133010432 55222 33554432000 4194304 4196468 140735633120848 140735633103392 139944406245111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
/proc/16115/statm: 3450442 55222 3256 1 0 3437675 0
[pid=16115/tid=16116] ppid=16114 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16116/stat : 16116 (java) S 16114 16114 14626 0 -1 1077944384 8835 0 0 0 114 5 0 0 20 0 28 0 3655556 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944410485888 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16118] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16118/stat : 16118 (java) S 16114 16114 14626 0 -1 1077944384 88 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944338381584 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16119] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16119/stat : 16119 (java) S 16114 16114 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944337329040 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16120] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16120/stat : 16120 (java) S 16114 16114 14626 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944336276496 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16121] ppid=16114 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16121/stat : 16121 (java) S 16114 16114 14626 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944335223952 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16122] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16122/stat : 16122 (java) S 16114 16114 14626 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944334170384 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16123] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16123/stat : 16123 (java) S 16114 16114 14626 0 -1 1077944384 138 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944333117840 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16124] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16124/stat : 16124 (java) S 16114 16114 14626 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944332065296 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16125] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16125/stat : 16125 (java) S 16114 16114 14626 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3655557 14133010432 55222 33554432000 4194304 4196468 140735633120848 139944331012752 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16126] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16126/stat : 16126 (java) S 16114 16114 14626 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 28 0 3655559 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943868471792 139944406256258 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16127] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16127/stat : 16127 (java) S 16114 16114 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943867418080 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16128] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16128/stat : 16128 (java) S 16114 16114 14626 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943866365424 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16129] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16129/stat : 16129 (java) S 16114 16114 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3655564 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943865314000 139944406263707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16130] ppid=16114 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16130/stat : 16130 (java) R 16114 16114 14626 0 -1 4202560 3362 0 0 0 75 1 0 0 20 0 28 0 3655564 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943864241256 139944398962263 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16131] ppid=16114 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16131/stat : 16131 (java) D 16114 16114 14626 0 -1 4202560 3490 0 0 0 81 1 0 0 20 0 28 0 3655564 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943863189848 139944398482238 0 4 0 16800975 18446744071582151416 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16132] ppid=16114 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16132/stat : 16132 (java) D 16114 16114 14626 0 -1 4202560 3463 0 0 0 77 1 0 0 20 0 28 0 3655564 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943862141768 139944398534493 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16133] ppid=16114 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16133/stat : 16133 (java) S 16114 16114 14626 0 -1 1077944384 3252 0 0 0 70 1 0 0 20 0 28 0 3655564 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943861102960 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16134] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16134/stat : 16134 (java) S 16114 16114 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3655565 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943860050656 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16135] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16135/stat : 16135 (java) S 16114 16114 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3655565 14133010432 55222 33554432000 4194304 4196468 140735633120848 139943791815600 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 13811280
[startup+3.10147 s]
/proc/loadavg: 16.22 15.58 11.81 20/299 16143
/proc/meminfo: memFree=31497012/32770624 swapFree=5972/217048
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
[pid=16115] ppid=16114 vsize=13801768 CPUtime=18.58 cores=0,2,4,6,8,10,12,14
/proc/16115/stat : 16115 (java) S 16114 16114 14626 0 -1 1077944320 37265 0 0 0 1837 21 0 0 20 0 28 0 3655555 14133010432 65794 33554432000 4194304 4196468 140735633120848 140735633103392 139944406245111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
/proc/16115/statm: 3450442 65794 3263 1 0 3437675 0
[pid=16115/tid=16116] ppid=16114 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16116/stat : 16116 (java) S 16114 16114 14626 0 -1 1077944384 8835 0 0 0 114 5 0 0 20 0 28 0 3655556 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944410485888 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16118] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16118/stat : 16118 (java) S 16114 16114 14626 0 -1 1077944384 88 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944338381584 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16119] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16119/stat : 16119 (java) S 16114 16114 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944337329040 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16120] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16120/stat : 16120 (java) S 16114 16114 14626 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944336276496 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16121] ppid=16114 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16121/stat : 16121 (java) S 16114 16114 14626 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944335223952 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16122] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16122/stat : 16122 (java) S 16114 16114 14626 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944334170384 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16123] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16123/stat : 16123 (java) S 16114 16114 14626 0 -1 1077944384 138 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944333117840 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16124] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16124/stat : 16124 (java) S 16114 16114 14626 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944332065296 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16125] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16125/stat : 16125 (java) S 16114 16114 14626 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3655557 14133010432 65794 33554432000 4194304 4196468 140735633120848 139944331012752 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16126] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16126/stat : 16126 (java) S 16114 16114 14626 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 28 0 3655559 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943868471792 139944406256258 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16127] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16127/stat : 16127 (java) S 16114 16114 14626 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943867418080 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16128] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16128/stat : 16128 (java) S 16114 16114 14626 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943866365424 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16129] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16129/stat : 16129 (java) S 16114 16114 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3655564 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943865314000 139944406263707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16130] ppid=16114 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16130/stat : 16130 (java) R 16114 16114 14626 0 -1 4202560 5773 0 0 0 181 1 0 0 20 0 28 0 3655564 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943864247008 139944384221504 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16131] ppid=16114 vsize=13801768 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16131/stat : 16131 (java) R 16114 16114 14626 0 -1 4202560 7436 0 0 0 182 1 0 0 20 0 28 0 3655564 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943863189648 139944389771582 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16132] ppid=16114 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16132/stat : 16132 (java) R 16114 16114 14626 0 -1 4202560 8017 0 0 0 190 2 0 0 20 0 28 0 3655564 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943862141856 139944387769988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16133] ppid=16114 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16133/stat : 16133 (java) S 16114 16114 14626 0 -1 1077944384 4067 0 0 0 83 2 0 0 20 0 28 0 3655564 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943861102960 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16134] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16134/stat : 16134 (java) S 16114 16114 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3655565 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943860050656 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16135] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16135/stat : 16135 (java) S 16114 16114 14626 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3655565 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943791815600 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16136] ppid=16114 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16136/stat : 16136 (java) R 16114 16114 14626 0 -1 4202560 107 0 0 0 136 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943783799592 139944017840502 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16137] ppid=16114 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16137/stat : 16137 (java) R 16114 16114 14626 0 -1 4202560 78 0 0 0 136 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943782748784 139944017840402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16138] ppid=16114 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16138/stat : 16138 (java) R 16114 16114 14626 0 -1 4202560 67 0 0 0 137 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943781693832 139944017840181 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16139] ppid=16114 vsize=13801768 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16139/stat : 16139 (java) R 16114 16114 14626 0 -1 4202560 321 0 0 0 137 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943780641176 139944017840300 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16140] ppid=16114 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16140/stat : 16140 (java) R 16114 16114 14626 0 -1 4202560 89 0 0 0 128 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943779588632 139944010063569 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16141] ppid=16114 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16141/stat : 16141 (java) R 16114 16114 14626 0 -1 4202560 93 0 0 0 128 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943778539088 139944017840067 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16142] ppid=16114 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16142/stat : 16142 (java) R 16114 16114 14626 0 -1 4202560 307 0 0 0 143 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943777483264 139944017840392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16143] ppid=16114 vsize=13801768 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16143/stat : 16143 (java) R 16114 16114 14626 0 -1 4202560 58 0 0 0 126 0 0 0 20 0 28 0 3655681 14133010432 65794 33554432000 4194304 4196468 140735633120848 139943776434680 139944017840366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
Current children cumulated CPU time (s) 18.58
Current children cumulated vsize (KiB) 13811280
[startup+6.30141 s]
/proc/loadavg: 16.22 15.58 11.81 17/299 16143
/proc/meminfo: memFree=31497564/32770624 swapFree=5972/217068
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
[pid=16115] ppid=16114 vsize=13801768 CPUtime=43.91 cores=0,2,4,6,8,10,12,14
/proc/16115/stat : 16115 (java) S 16114 16114 14626 0 -1 1077944320 41777 0 0 0 4367 24 0 0 20 0 28 0 3655555 14133010432 64807 33554432000 4194304 4196468 140735633120848 140735633103392 139944406245111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
/proc/16115/statm: 3450442 64807 3268 1 0 3437675 0
[pid=16115/tid=16116] ppid=16114 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16116/stat : 16116 (java) S 16114 16114 14626 0 -1 1077944384 8835 0 0 0 114 5 0 0 20 0 28 0 3655556 14133010432 64807 33554432000 4194304 4196468 140735633120848 139944410485888 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16118] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16118/stat : 16118 (java) S 16114 16114 14626 0 -1 1077944384 88 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 64807 33554432000 4194304 4196468 140735633120848 139944338381584 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16119] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16119/stat : 16119 (java) S 16114 16114 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3655557 14133010432 64807 33554432000 4194304 4196468 140735633120848 139944337329040 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16120] ppid=16114 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16120/stat : 16120 (java) S 16114 16114 14626 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 3655557 14133010432 64807 33554432000 4194304 4196468 140735633120848 139944336276496 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16121] ppid=16114 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16121/stat : 16121 (java) S 16114 16114 14626 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 3655557 14133010432 64807 33554432000 4194304 4196468 140735633120848 139944335223952 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
################
# More data... #
################
[pid=16115/tid=16142] ppid=16114 vsize=13801768 CPUtime=218.76 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16142/stat : 16142 (java) R 16114 16114 14626 0 -1 4202560 932 0 0 0 21876 0 0 0 20 0 28 0 3655681 14133010432 105155 33554432000 4194304 4196468 140735633120848 139943777484752 139944020411225 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16143] ppid=16114 vsize=13801768 CPUtime=219.16 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16143/stat : 16143 (java) R 16114 16114 14626 0 -1 4202560 1279 0 0 0 21916 0 0 0 20 0 28 0 3655681 14133010432 105155 33554432000 4194304 4196468 140735633120848 139943776432456 139944020411454 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
Current children cumulated CPU time (s) 1764.4
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 16.06 15.76 12.85 17/302 16268
/proc/meminfo: memFree=30288728/32770624 swapFree=5972/217372
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
[pid=16115] ppid=16114 vsize=13801768 CPUtime=2242.13 cores=0,2,4,6,8,10,12,14
/proc/16115/stat : 16115 (java) S 16114 16114 14626 0 -1 1077944320 104497 0 0 0 224103 110 0 0 20 0 28 0 3655555 14133010432 88882 33554432000 4194304 4196468 140735633120848 140735633103392 139944406245111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
/proc/16115/statm: 3450442 88882 3283 1 0 3437675 0
[pid=16115/tid=16116] ppid=16114 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16116/stat : 16116 (java) S 16114 16114 14626 0 -1 1077944384 8835 0 0 0 114 5 0 0 20 0 28 0 3655556 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944410485888 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16118] ppid=16114 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16118/stat : 16118 (java) S 16114 16114 14626 0 -1 1077944384 1376 0 0 0 15 9 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944338381584 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16119] ppid=16114 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16119/stat : 16119 (java) S 16114 16114 14626 0 -1 1077944384 497 0 0 0 13 7 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944337329040 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16120] ppid=16114 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16120/stat : 16120 (java) S 16114 16114 14626 0 -1 1077944384 543 0 0 0 14 8 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944336276496 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16121] ppid=16114 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16121/stat : 16121 (java) S 16114 16114 14626 0 -1 1077944384 266 0 0 0 13 9 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944335223952 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16122] ppid=16114 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16122/stat : 16122 (java) S 16114 16114 14626 0 -1 1077944384 876 0 0 0 14 8 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944334170384 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16123] ppid=16114 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16123/stat : 16123 (java) S 16114 16114 14626 0 -1 1077944384 1495 0 0 0 13 8 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944333117840 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16124] ppid=16114 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16124/stat : 16124 (java) S 16114 16114 14626 0 -1 1077944384 846 0 0 0 15 8 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944332065296 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16125] ppid=16114 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16125/stat : 16125 (java) S 16114 16114 14626 0 -1 1077944384 1521 0 0 0 14 8 0 0 20 0 28 0 3655557 14133010432 88882 33554432000 4194304 4196468 140735633120848 139944331012752 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16126] ppid=16114 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16126/stat : 16126 (java) S 16114 16114 14626 0 -1 1077944384 2032 0 0 0 7 10 0 0 20 0 28 0 3655559 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943868471792 139944406256258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16127] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16127/stat : 16127 (java) S 16114 16114 14626 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943867418080 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16128] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16128/stat : 16128 (java) S 16114 16114 14626 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943866365424 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16129] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16129/stat : 16129 (java) S 16114 16114 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3655564 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943865314000 139944406263707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16130] ppid=16114 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16130/stat : 16130 (java) S 16114 16114 14626 0 -1 1077944384 17531 0 0 0 369 3 0 0 20 0 28 0 3655564 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943864260592 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16131] ppid=16114 vsize=13801768 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16131/stat : 16131 (java) S 16114 16114 14626 0 -1 1077944384 20219 0 0 0 454 3 0 0 20 0 28 0 3655564 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943863208048 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16132] ppid=16114 vsize=13801768 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16132/stat : 16132 (java) S 16114 16114 14626 0 -1 1077944384 19511 0 0 0 423 2 0 0 20 0 28 0 3655564 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943862155504 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16133] ppid=16114 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16133/stat : 16133 (java) S 16114 16114 14626 0 -1 1077944384 14431 0 0 0 121 3 0 0 20 0 28 0 3655564 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943861102960 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16134] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16134/stat : 16134 (java) S 16114 16114 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3655565 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943860050656 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16135] ppid=16114 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16135/stat : 16135 (java) S 16114 16114 14626 0 -1 1077944384 617 0 0 0 6 4 0 0 20 0 28 0 3655565 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943791815600 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16136] ppid=16114 vsize=13801768 CPUtime=279.31 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16136/stat : 16136 (java) R 16114 16114 14626 0 -1 4202560 1220 0 0 0 27930 1 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943783800120 139944019374171 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16137] ppid=16114 vsize=13801768 CPUtime=278.39 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16137/stat : 16137 (java) R 16114 16114 14626 0 -1 4202560 1079 0 0 0 27839 0 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943782748584 139944020411262 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16138] ppid=16114 vsize=13801768 CPUtime=276.65 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16138/stat : 16138 (java) R 16114 16114 14626 0 -1 4202560 2662 0 0 0 27664 1 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943781697472 139944020411566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16139] ppid=16114 vsize=13801768 CPUtime=278.12 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16139/stat : 16139 (java) R 16114 16114 14626 0 -1 4202560 2687 0 0 0 27811 1 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943780642376 139944019374171 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16140] ppid=16114 vsize=13801768 CPUtime=277.77 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16140/stat : 16140 (java) R 16114 16114 14626 0 -1 4202560 1519 0 0 0 27775 2 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943779589680 139944020411535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16141] ppid=16114 vsize=13801768 CPUtime=277.23 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16141/stat : 16141 (java) R 16114 16114 14626 0 -1 4202560 1046 0 0 0 27723 0 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943778537256 139944020411186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16142] ppid=16114 vsize=13801768 CPUtime=278.62 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16142/stat : 16142 (java) R 16114 16114 14626 0 -1 4202560 992 0 0 0 27862 0 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943777484840 139944020411518 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16143] ppid=16114 vsize=13801768 CPUtime=278.79 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16143/stat : 16143 (java) R 16114 16114 14626 0 -1 4202560 1338 0 0 0 27879 0 0 0 20 0 28 0 3655681 14133010432 88882 33554432000 4194304 4196468 140735633120848 139943776432296 139944017953259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
Current children cumulated CPU time (s) 2242.13
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.201 s]
/proc/loadavg: 16.05 15.77 12.91 17/302 16268
/proc/meminfo: memFree=30295884/32770624 swapFree=5972/217376
[pid=16114] ppid=16111 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16114/stat : 16114 (xcsp3-exec) S 16111 16114 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3655555 9740288 345 33554432000 4194304 5098028 140726214745264 140726214743368 139822084600444 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 10911744 140726214747278 140726214747488 140726214747488 140726214750187 0
/proc/16114/statm: 2378 345 289 221 0 87 0
[pid=16115] ppid=16114 vsize=13801768 CPUtime=2400.64 cores=0,2,4,6,8,10,12,14
/proc/16115/stat : 16115 (java) S 16114 16114 14626 0 -1 1077944320 104589 0 0 0 239952 112 0 0 20 0 28 0 3655555 14133010432 86066 33554432000 4194304 4196468 140735633120848 140735633103392 139944406245111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
/proc/16115/statm: 3450442 86066 3283 1 0 3437675 0
[pid=16115/tid=16116] ppid=16114 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16116/stat : 16116 (java) S 16114 16114 14626 0 -1 1077944384 8835 0 0 0 114 5 0 0 20 0 28 0 3655556 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944410485888 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16118] ppid=16114 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16118/stat : 16118 (java) S 16114 16114 14626 0 -1 1077944384 1401 0 0 0 15 9 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944338381584 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16119] ppid=16114 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16119/stat : 16119 (java) S 16114 16114 14626 0 -1 1077944384 500 0 0 0 14 8 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944337329040 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16120] ppid=16114 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16120/stat : 16120 (java) S 16114 16114 14626 0 -1 1077944384 547 0 0 0 15 8 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944336276496 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16121] ppid=16114 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16121/stat : 16121 (java) S 16114 16114 14626 0 -1 1077944384 268 0 0 0 14 9 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944335223952 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16122] ppid=16114 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16122/stat : 16122 (java) S 16114 16114 14626 0 -1 1077944384 898 0 0 0 15 8 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944334170384 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16123] ppid=16114 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16123/stat : 16123 (java) S 16114 16114 14626 0 -1 1077944384 1495 0 0 0 13 8 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944333117840 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16124] ppid=16114 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16124/stat : 16124 (java) S 16114 16114 14626 0 -1 1077944384 856 0 0 0 16 8 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944332065296 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16125] ppid=16114 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16125/stat : 16125 (java) S 16114 16114 14626 0 -1 1077944384 1531 0 0 0 15 8 0 0 20 0 28 0 3655557 14133010432 86066 33554432000 4194304 4196468 140735633120848 139944331012752 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16126] ppid=16114 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16126/stat : 16126 (java) S 16114 16114 14626 0 -1 1077944384 2033 0 0 0 7 11 0 0 20 0 28 0 3655559 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943868471792 139944406256258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16127] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16127/stat : 16127 (java) S 16114 16114 14626 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943867418080 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16128] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16128/stat : 16128 (java) S 16114 16114 14626 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3655560 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943866365424 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16129] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16129/stat : 16129 (java) S 16114 16114 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3655564 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943865314000 139944406263707 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16130] ppid=16114 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16130/stat : 16130 (java) S 16114 16114 14626 0 -1 1077944384 17531 0 0 0 369 3 0 0 20 0 28 0 3655564 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943864260592 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16131] ppid=16114 vsize=13801768 CPUtime=4.57 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16131/stat : 16131 (java) S 16114 16114 14626 0 -1 1077944384 20219 0 0 0 454 3 0 0 20 0 28 0 3655564 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943863208048 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16132] ppid=16114 vsize=13801768 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16132/stat : 16132 (java) S 16114 16114 14626 0 -1 1077944384 19511 0 0 0 423 2 0 0 20 0 28 0 3655564 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943862155504 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16133] ppid=16114 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16133/stat : 16133 (java) S 16114 16114 14626 0 -1 1077944384 14437 0 0 0 121 3 0 0 20 0 28 0 3655564 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943861102960 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16134] ppid=16114 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16134/stat : 16134 (java) S 16114 16114 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3655565 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943860050656 139944406255317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16135] ppid=16114 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16135/stat : 16135 (java) S 16114 16114 14626 0 -1 1077944384 619 0 0 0 6 5 0 0 20 0 28 0 3655565 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943791815600 139944406256258 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16136] ppid=16114 vsize=13801768 CPUtime=299.18 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16136/stat : 16136 (java) R 16114 16114 14626 0 -1 4202560 1221 0 0 0 29917 1 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943783800120 139944020411385 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16137] ppid=16114 vsize=13801768 CPUtime=298.25 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16137/stat : 16137 (java) R 16114 16114 14626 0 -1 4202560 1079 0 0 0 29825 0 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943782748584 139944020411279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16138] ppid=16114 vsize=13801768 CPUtime=296.3 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16138/stat : 16138 (java) R 16114 16114 14626 0 -1 4202560 2662 0 0 0 29629 1 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943781694768 139944017949233 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16139] ppid=16114 vsize=13801768 CPUtime=297.94 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16139/stat : 16139 (java) R 16114 16114 14626 0 -1 4202560 2687 0 0 0 29793 1 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943780642472 139944020411382 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16140] ppid=16114 vsize=13801768 CPUtime=297.64 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16140/stat : 16140 (java) R 16114 16114 14626 0 -1 4202560 1519 0 0 0 29762 2 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943779589784 139944020411225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16141] ppid=16114 vsize=13801768 CPUtime=297.1 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16141/stat : 16141 (java) R 16114 16114 14626 0 -1 4202560 1046 0 0 0 29710 0 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943778537096 139944020411166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16142] ppid=16114 vsize=13801768 CPUtime=298.48 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16142/stat : 16142 (java) R 16114 16114 14626 0 -1 4202560 994 0 0 0 29848 0 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943777487632 139944020411518 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
[pid=16115/tid=16143] ppid=16114 vsize=13801768 CPUtime=298.44 cores=0,2,4,6,8,10,12,14
/proc/16115/task/16143/stat : 16143 (java) R 16114 16114 14626 0 -1 4202560 1342 0 0 0 29844 0 0 0 20 0 28 0 3655681 14133010432 86066 33554432000 4194304 4196468 140735633120848 139943776432280 139944020411340 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30068736 140735633126588 140735633126764 140735633126764 140735633129423 0
Current children cumulated CPU time (s) 2400.64
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 16115 sig 9
??? kill 16114 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 16114 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=997
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1995
# CPU time returned by wait4() is 0.002992
# while last known CPU time is 2400.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.64
CPU user time (s): 2399.52
CPU system time (s): 1.12
CPU usage (%): 794.356
Max. virtual memory (cumulated for all children) (KiB): 13814656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000997
system time used= 0.001995
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.44 second user time and 3.97392 second system time
The end