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-4249192-1500693780/watcher-4249192-1500693780 -o /tmp/evaluation-result-4249192-1500693780/solver-4249192-1500693780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 683316548 HOME/instance-4249192-1500693780.xml
pid=16181
running on 8 cores: 0-3,8-11
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: 13.44 14.37 13.41 11/276 16184
/proc/meminfo: memFree=31559428/32770624 swapFree=5944/267268
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
[startup+0.100106 s]
/proc/loadavg: 13.44 14.37 13.41 11/276 16184
/proc/meminfo: memFree=31559428/32770624 swapFree=5944/267268
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200257 s]
/proc/loadavg: 13.44 14.37 13.41 11/276 16184
/proc/meminfo: memFree=31559428/32770624 swapFree=5944/267268
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300226 s]
/proc/loadavg: 13.44 14.37 13.41 11/276 16184
/proc/meminfo: memFree=31559428/32770624 swapFree=5944/267268
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 13.44 14.37 13.41 11/276 16184
/proc/meminfo: memFree=31559428/32770624 swapFree=5944/267268
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50078 s]
/proc/loadavg: 13.44 14.37 13.41 11/298 16206
/proc/meminfo: memFree=31467228/32770624 swapFree=5944/267336
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
[pid=16185] ppid=16184 vsize=13801768 CPUtime=3.64 cores=0-3,8-11
/proc/16185/stat : 16185 (java) S 16184 16184 18810 0 -1 1077944320 21116 0 0 0 354 10 0 0 20 0 28 0 4645202 14133010432 38805 33554432000 4194304 4196468 140721143423104 140721143405648 139907234586359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
/proc/16185/statm: 3450442 38805 3208 1 0 3437675 0
[pid=16185/tid=16186] ppid=16184 vsize=13801768 CPUtime=1.44 cores=0-3,8-11
/proc/16185/task/16186/stat : 16186 (java) S 16184 16184 18810 0 -1 1077944384 9185 0 0 0 139 5 0 0 20 0 28 0 4645203 14133010432 38805 33554432000 4194304 4196468 140721143423104 139907238827136 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16188] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16188/stat : 16188 (java) S 16184 16184 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139907153067024 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16189] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16189/stat : 16189 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139907152014480 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16190] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16190/stat : 16190 (java) S 16184 16184 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906831608592 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16191] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16191/stat : 16191 (java) S 16184 16184 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906830556048 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16192] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16192/stat : 16192 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906829502992 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16193] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16193/stat : 16193 (java) S 16184 16184 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906828450448 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16194] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16194/stat : 16194 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906827397392 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16195] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16195/stat : 16195 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645204 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906826344848 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16196] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16196/stat : 16196 (java) S 16184 16184 18810 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4645206 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906696854256 139907234597506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16197] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16197/stat : 16197 (java) S 16184 16184 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4645207 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906695800480 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16198] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16198/stat : 16198 (java) S 16184 16184 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4645207 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906694747376 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16199] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16199/stat : 16199 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645211 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906693695952 139907234604955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16200] ppid=16184 vsize=13801768 CPUtime=0.46 cores=0-3,8-11
/proc/16185/task/16200/stat : 16200 (java) R 16184 16184 18810 0 -1 4202560 3334 0 0 0 45 1 0 0 20 0 28 0 4645211 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906692643056 139907218113223 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16201] ppid=16184 vsize=13801768 CPUtime=0.63 cores=0-3,8-11
/proc/16185/task/16201/stat : 16201 (java) R 16184 16184 18810 0 -1 4202560 2836 0 0 0 62 1 0 0 20 0 28 0 4645211 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906691580624 139907214438500 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16202] ppid=16184 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/16185/task/16202/stat : 16202 (java) R 16184 16184 18810 0 -1 4202560 1444 0 0 0 39 0 0 0 20 0 28 0 4645211 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906690526144 139907218080939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16203] ppid=16184 vsize=13801768 CPUtime=0.52 cores=0-3,8-11
/proc/16185/task/16203/stat : 16203 (java) R 16184 16184 18810 0 -1 1077944384 2573 0 0 0 51 1 0 0 20 0 28 0 4645211 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906689484096 139907234596565 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16204] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16204/stat : 16204 (java) S 16184 16184 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4645211 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906688433120 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16205] ppid=16184 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16205/stat : 16205 (java) S 16184 16184 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4645211 14133010432 38805 33554432000 4194304 4196468 140721143423104 139906687380656 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 13811280
[startup+3.10148 s]
/proc/loadavg: 13.44 14.37 13.41 21/306 16326
/proc/meminfo: memFree=31309832/32770624 swapFree=5944/267336
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
[pid=16185] ppid=16184 vsize=14002488 CPUtime=15.79 cores=0-3,8-11
/proc/16185/stat : 16185 (java) S 16184 16184 18810 0 -1 1077944320 30471 0 0 0 1547 32 0 0 20 0 28 0 4645202 14338547712 65716 33554432000 4194304 4196468 140721143423104 140721143405648 139907234586359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
/proc/16185/statm: 3500622 65716 3246 1 0 3487855 0
[pid=16185/tid=16186] ppid=16184 vsize=14002488 CPUtime=1.44 cores=0-3,8-11
/proc/16185/task/16186/stat : 16186 (java) S 16184 16184 18810 0 -1 1077944384 9199 0 0 0 139 5 0 0 20 0 28 0 4645203 14338547712 65716 33554432000 4194304 4196468 140721143423104 139907238827136 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16188] ppid=16184 vsize=14002488 CPUtime=0.05 cores=0-3,8-11
/proc/16185/task/16188/stat : 16188 (java) S 16184 16184 18810 0 -1 1077944384 143 0 0 0 3 2 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139907153067024 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16189] ppid=16184 vsize=14002488 CPUtime=0.05 cores=0-3,8-11
/proc/16185/task/16189/stat : 16189 (java) S 16184 16184 18810 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139907152014480 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16190] ppid=16184 vsize=14002488 CPUtime=0.04 cores=0-3,8-11
/proc/16185/task/16190/stat : 16190 (java) S 16184 16184 18810 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906831608592 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16191] ppid=16184 vsize=14002488 CPUtime=0.03 cores=0-3,8-11
/proc/16185/task/16191/stat : 16191 (java) S 16184 16184 18810 0 -1 1077944384 110 0 0 0 2 1 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906830556048 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16192] ppid=16184 vsize=14002488 CPUtime=0.03 cores=0-3,8-11
/proc/16185/task/16192/stat : 16192 (java) S 16184 16184 18810 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906829502992 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16193] ppid=16184 vsize=14002488 CPUtime=0.02 cores=0-3,8-11
/proc/16185/task/16193/stat : 16193 (java) S 16184 16184 18810 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906828450448 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16194] ppid=16184 vsize=14002488 CPUtime=0.04 cores=0-3,8-11
/proc/16185/task/16194/stat : 16194 (java) S 16184 16184 18810 0 -1 1077944384 34 0 0 0 1 3 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906827397392 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16195] ppid=16184 vsize=14002488 CPUtime=0.04 cores=0-3,8-11
/proc/16185/task/16195/stat : 16195 (java) S 16184 16184 18810 0 -1 1077944384 57 0 0 0 2 2 0 0 20 0 28 0 4645204 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906826344848 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16196] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16196/stat : 16196 (java) S 16184 16184 18810 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 28 0 4645206 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906696854256 139907234597506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16197] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16197/stat : 16197 (java) S 16184 16184 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4645207 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906695800544 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16198] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16198/stat : 16198 (java) S 16184 16184 18810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4645207 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906694747376 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16199] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16199/stat : 16199 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645211 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906693695952 139907234604955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16200] ppid=16184 vsize=14002488 CPUtime=1.81 cores=0-3,8-11
/proc/16185/task/16200/stat : 16200 (java) R 16184 16184 18810 0 -1 4202560 5863 0 0 0 180 1 0 0 20 0 28 0 4645211 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906692629600 139907219703526 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16201] ppid=16184 vsize=14002488 CPUtime=1.73 cores=0-3,8-11
/proc/16185/task/16201/stat : 16201 (java) R 16184 16184 18810 0 -1 4202560 3790 0 0 0 172 1 0 0 20 0 28 0 4645211 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906691577056 139907219711555 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16202] ppid=16184 vsize=14002488 CPUtime=1.63 cores=0-3,8-11
/proc/16185/task/16202/stat : 16202 (java) R 16184 16184 18810 0 -1 4202560 2885 0 0 0 163 0 0 0 20 0 28 0 4645211 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906690529944 139907215287043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16203] ppid=16184 vsize=14002488 CPUtime=0.87 cores=0-3,8-11
/proc/16185/task/16203/stat : 16203 (java) S 16184 16184 18810 0 -1 1077944384 4142 0 0 0 86 1 0 0 20 0 28 0 4645211 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906689484912 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16204] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16204/stat : 16204 (java) S 16184 16184 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4645211 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906688433120 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16205] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16205/stat : 16205 (java) S 16184 16184 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4645211 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906687380656 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16319] ppid=16184 vsize=14002488 CPUtime=0.74 cores=0-3,8-11
/proc/16185/task/16319/stat : 16319 (java) R 16184 16184 18810 0 -1 4202560 19 0 0 0 74 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906332439696 139906838229628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16320] ppid=16184 vsize=14002488 CPUtime=0.68 cores=0-3,8-11
/proc/16185/task/16320/stat : 16320 (java) R 16184 16184 18810 0 -1 4202560 20 0 0 0 68 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906333493752 139906837834535 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16321] ppid=16184 vsize=14002488 CPUtime=0.66 cores=0-3,8-11
/proc/16185/task/16321/stat : 16321 (java) R 16184 16184 18810 0 -1 4202560 17 0 0 0 66 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906338753232 139906835444021 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16322] ppid=16184 vsize=14002488 CPUtime=0.65 cores=0-3,8-11
/proc/16185/task/16322/stat : 16322 (java) R 16184 16184 18810 0 -1 4202560 18 0 0 0 65 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906335594840 139906837962814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16323] ppid=16184 vsize=14002488 CPUtime=0.62 cores=0-3,8-11
/proc/16185/task/16323/stat : 16323 (java) R 16184 16184 18810 0 -1 4202560 32 0 0 0 62 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906334543368 139906837965739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16324] ppid=16184 vsize=14002488 CPUtime=0.63 cores=0-3,8-11
/proc/16185/task/16324/stat : 16324 (java) R 16184 16184 18810 0 -1 4202560 17 0 0 0 63 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906331383888 139906837962832 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16325] ppid=16184 vsize=14002488 CPUtime=0.68 cores=0-3,8-11
/proc/16185/task/16325/stat : 16325 (java) R 16184 16184 18810 0 -1 4202560 22 0 0 0 68 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906337700808 139906836136925 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16326] ppid=16184 vsize=14002488 CPUtime=0.76 cores=0-3,8-11
/proc/16185/task/16326/stat : 16326 (java) R 16184 16184 18810 0 -1 4202560 17 0 0 0 76 0 0 0 20 0 28 0 4645415 14338547712 65716 33554432000 4194304 4196468 140721143423104 139906340862032 139907220031837 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (KiB) 14012000
[startup+6.3016 s]
/proc/loadavg: 13.88 14.44 13.44 18/306 16326
/proc/meminfo: memFree=31271400/32770624 swapFree=5944/267344
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
[pid=16185] ppid=16184 vsize=14002488 CPUtime=41.2 cores=0-3,8-11
/proc/16185/stat : 16185 (java) S 16184 16184 18810 0 -1 1077944320 36438 0 0 0 4085 35 0 0 20 0 28 0 4645202 14338547712 66037 33554432000 4194304 4196468 140721143423104 140721143405648 139907234586359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
/proc/16185/statm: 3500622 66037 3272 1 0 3487855 0
[pid=16185/tid=16186] ppid=16184 vsize=14002488 CPUtime=1.44 cores=0-3,8-11
/proc/16185/task/16186/stat : 16186 (java) S 16184 16184 18810 0 -1 1077944384 9199 0 0 0 139 5 0 0 20 0 28 0 4645203 14338547712 66037 33554432000 4194304 4196468 140721143423104 139907238827136 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16188] ppid=16184 vsize=14002488 CPUtime=0.05 cores=0-3,8-11
/proc/16185/task/16188/stat : 16188 (java) S 16184 16184 18810 0 -1 1077944384 143 0 0 0 3 2 0 0 20 0 28 0 4645204 14338547712 66037 33554432000 4194304 4196468 140721143423104 139907153067024 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16189] ppid=16184 vsize=14002488 CPUtime=0.05 cores=0-3,8-11
/proc/16185/task/16189/stat : 16189 (java) S 16184 16184 18810 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 28 0 4645204 14338547712 66037 33554432000 4194304 4196468 140721143423104 139907152014480 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16190] ppid=16184 vsize=14002488 CPUtime=0.04 cores=0-3,8-11
/proc/16185/task/16190/stat : 16190 (java) S 16184 16184 18810 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 28 0 4645204 14338547712 66037 33554432000 4194304 4196468 140721143423104 139906831608592 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16191] ppid=16184 vsize=14002488 CPUtime=0.03 cores=0-3,8-11
/proc/16185/task/16191/stat : 16191 (java) S 16184 16184 18810 0 -1 1077944384 110 0 0 0 2 1 0 0 20 0 28 0 4645204 14338547712 66037 33554432000 4194304 4196468 140721143423104 139906830556048 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
################
# More data... #
################
[pid=16185/tid=16325] ppid=16184 vsize=14002488 CPUtime=217.42 cores=0-3,8-11
/proc/16185/task/16325/stat : 16325 (java) R 16184 16184 18810 0 -1 4202560 1219 0 0 0 21738 4 0 0 20 0 28 0 4645415 14338547712 271093 33554432000 4194304 4196468 140721143423104 139906337702120 139906837963984 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16326] ppid=16184 vsize=14002488 CPUtime=219.04 cores=0-3,8-11
/proc/16185/task/16326/stat : 16326 (java) R 16184 16184 18810 0 -1 4202560 1718 0 0 0 21900 4 0 0 20 0 28 0 4645415 14338547712 271093 33554432000 4194304 4196468 140721143423104 139906340861112 139906838567734 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
Current children cumulated CPU time (s) 1761.2
Current children cumulated vsize (KiB) 14012000
[startup+282.302 s]
/proc/loadavg: 16.15 15.45 14.12 18/303 16355
/proc/meminfo: memFree=30646300/32770624 swapFree=5944/267660
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
[pid=16185] ppid=16184 vsize=14002488 CPUtime=2238.74 cores=0-3,8-11
/proc/16185/stat : 16185 (java) S 16184 16184 18810 0 -1 1077944320 75936 0 0 0 223739 135 0 0 20 0 28 0 4645202 14338547712 243646 33554432000 4194304 4196468 140721143423104 140721143405648 139907234586359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
/proc/16185/statm: 3500622 243646 3279 1 0 3487855 0
[pid=16185/tid=16186] ppid=16184 vsize=14002488 CPUtime=1.44 cores=0-3,8-11
/proc/16185/task/16186/stat : 16186 (java) S 16184 16184 18810 0 -1 1077944384 9199 0 0 0 139 5 0 0 20 0 28 0 4645203 14338547712 243646 33554432000 4194304 4196468 140721143423104 139907238827136 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16188] ppid=16184 vsize=14002488 CPUtime=0.21 cores=0-3,8-11
/proc/16185/task/16188/stat : 16188 (java) S 16184 16184 18810 0 -1 1077944384 699 0 0 0 10 11 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139907153067024 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16189] ppid=16184 vsize=14002488 CPUtime=0.2 cores=0-3,8-11
/proc/16185/task/16189/stat : 16189 (java) S 16184 16184 18810 0 -1 1077944384 920 0 0 0 10 10 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139907152014480 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16190] ppid=16184 vsize=14002488 CPUtime=0.2 cores=0-3,8-11
/proc/16185/task/16190/stat : 16190 (java) S 16184 16184 18810 0 -1 1077944384 822 0 0 0 10 10 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906831608592 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16191] ppid=16184 vsize=14002488 CPUtime=0.17 cores=0-3,8-11
/proc/16185/task/16191/stat : 16191 (java) S 16184 16184 18810 0 -1 1077944384 1737 0 0 0 10 7 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906830556048 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16192] ppid=16184 vsize=14002488 CPUtime=0.17 cores=0-3,8-11
/proc/16185/task/16192/stat : 16192 (java) S 16184 16184 18810 0 -1 1077944384 365 0 0 0 8 9 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906829502992 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16193] ppid=16184 vsize=14002488 CPUtime=0.17 cores=0-3,8-11
/proc/16185/task/16193/stat : 16193 (java) S 16184 16184 18810 0 -1 1077944384 2070 0 0 0 9 8 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906828450448 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16194] ppid=16184 vsize=14002488 CPUtime=0.2 cores=0-3,8-11
/proc/16185/task/16194/stat : 16194 (java) S 16184 16184 18810 0 -1 1077944384 221 0 0 0 9 11 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906827397392 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16195] ppid=16184 vsize=14002488 CPUtime=0.19 cores=0-3,8-11
/proc/16185/task/16195/stat : 16195 (java) S 16184 16184 18810 0 -1 1077944384 367 0 0 0 10 9 0 0 20 0 28 0 4645204 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906826344848 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16196] ppid=16184 vsize=14002488 CPUtime=0.1 cores=0-3,8-11
/proc/16185/task/16196/stat : 16196 (java) S 16184 16184 18810 0 -1 1077944384 2140 0 0 0 5 5 0 0 20 0 28 0 4645206 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906696854256 139907234597506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16197] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16197/stat : 16197 (java) S 16184 16184 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4645207 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906695800544 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16198] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16198/stat : 16198 (java) S 16184 16184 18810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4645207 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906694747376 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16199] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16199/stat : 16199 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645211 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906693695952 139907234604955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16200] ppid=16184 vsize=14002488 CPUtime=3.28 cores=0-3,8-11
/proc/16185/task/16200/stat : 16200 (java) S 16184 16184 18810 0 -1 1077944384 11060 0 0 0 326 2 0 0 20 0 28 0 4645211 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906692643056 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16201] ppid=16184 vsize=14002488 CPUtime=3.74 cores=0-3,8-11
/proc/16185/task/16201/stat : 16201 (java) S 16184 16184 18810 0 -1 1077944384 11533 0 0 0 371 3 0 0 20 0 28 0 4645211 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906691590512 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16202] ppid=16184 vsize=14002488 CPUtime=3.37 cores=0-3,8-11
/proc/16185/task/16202/stat : 16202 (java) S 16184 16184 18810 0 -1 1077944384 9449 0 0 0 336 1 0 0 20 0 28 0 4645211 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906690537456 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16203] ppid=16184 vsize=14002488 CPUtime=1.16 cores=0-3,8-11
/proc/16185/task/16203/stat : 16203 (java) S 16184 16184 18810 0 -1 1077944384 8667 0 0 0 114 2 0 0 20 0 28 0 4645211 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906689484912 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16204] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16204/stat : 16204 (java) S 16184 16184 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4645211 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906688433120 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16205] ppid=16184 vsize=14002488 CPUtime=0.14 cores=0-3,8-11
/proc/16185/task/16205/stat : 16205 (java) S 16184 16184 18810 0 -1 1077944384 1157 0 0 0 6 8 0 0 20 0 28 0 4645211 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906687380656 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16319] ppid=16184 vsize=14002488 CPUtime=278.23 cores=0-3,8-11
/proc/16185/task/16319/stat : 16319 (java) R 16184 16184 18810 0 -1 4202560 1004 0 0 0 27821 2 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906332436968 139906838229974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16320] ppid=16184 vsize=14002488 CPUtime=277.13 cores=0-3,8-11
/proc/16185/task/16320/stat : 16320 (java) R 16184 16184 18810 0 -1 4202560 899 0 0 0 27712 1 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906333491304 139906837962770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16321] ppid=16184 vsize=14002488 CPUtime=278.36 cores=0-3,8-11
/proc/16185/task/16321/stat : 16321 (java) R 16184 16184 18810 0 -1 4202560 1914 0 0 0 27834 2 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906338754536 139906837966092 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16322] ppid=16184 vsize=14002488 CPUtime=277.46 cores=0-3,8-11
/proc/16185/task/16322/stat : 16322 (java) R 16184 16184 18810 0 -1 4202560 2951 0 0 0 27740 6 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906335596128 139906839180758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16323] ppid=16184 vsize=14002488 CPUtime=278.38 cores=0-3,8-11
/proc/16185/task/16323/stat : 16323 (java) R 16184 16184 18810 0 -1 4202560 1386 0 0 0 27837 1 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906334543592 139906839454245 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16324] ppid=16184 vsize=14002488 CPUtime=276.35 cores=0-3,8-11
/proc/16185/task/16324/stat : 16324 (java) R 16184 16184 18810 0 -1 4202560 392 0 0 0 27633 2 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906331385704 139906837962688 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16325] ppid=16184 vsize=14002488 CPUtime=277.31 cores=0-3,8-11
/proc/16185/task/16325/stat : 16325 (java) R 16184 16184 18810 0 -1 4202560 1370 0 0 0 27727 4 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906337702200 139906837962814 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16326] ppid=16184 vsize=14002488 CPUtime=278.15 cores=0-3,8-11
/proc/16185/task/16326/stat : 16326 (java) R 16184 16184 18810 0 -1 4202560 1867 0 0 0 27810 5 0 0 20 0 28 0 4645415 14338547712 243646 33554432000 4194304 4196468 140721143423104 139906340863104 139906839454326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
Current children cumulated CPU time (s) 2238.74
Current children cumulated vsize (KiB) 14012000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.618 s]
/proc/loadavg: 14.55 15.15 14.06 10/294 16451
/proc/meminfo: memFree=30126364/32770624 swapFree=5944/267732
[pid=16184] ppid=16181 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/16184/stat : 16184 (xcsp3-exec) S 16181 16184 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4645202 9740288 346 33554432000 4194304 5098028 140727552882544 140727552880648 139925032202876 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 7815168 140727552885903 140727552886112 140727552886112 140727552888811 0
/proc/16184/statm: 2378 346 289 221 0 87 0
[pid=16185] ppid=16184 vsize=14002488 CPUtime=2400.5 cores=0-3,8-11
/proc/16185/stat : 16185 (java) S 16184 16184 18810 0 -1 1077944320 76046 0 0 0 239912 138 0 0 20 0 28 0 4645202 14338547712 235963 33554432000 4194304 4196468 140721143423104 140721143405648 139907234586359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
/proc/16185/statm: 3500622 235963 3279 1 0 3487855 0
[pid=16185/tid=16186] ppid=16184 vsize=14002488 CPUtime=1.44 cores=0-3,8-11
/proc/16185/task/16186/stat : 16186 (java) S 16184 16184 18810 0 -1 1077944384 9199 0 0 0 139 5 0 0 20 0 28 0 4645203 14338547712 235963 33554432000 4194304 4196468 140721143423104 139907238827136 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16188] ppid=16184 vsize=14002488 CPUtime=0.22 cores=0-3,8-11
/proc/16185/task/16188/stat : 16188 (java) S 16184 16184 18810 0 -1 1077944384 700 0 0 0 11 11 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139907153067024 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16189] ppid=16184 vsize=14002488 CPUtime=0.21 cores=0-3,8-11
/proc/16185/task/16189/stat : 16189 (java) S 16184 16184 18810 0 -1 1077944384 924 0 0 0 10 11 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139907152014480 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16190] ppid=16184 vsize=14002488 CPUtime=0.2 cores=0-3,8-11
/proc/16185/task/16190/stat : 16190 (java) S 16184 16184 18810 0 -1 1077944384 823 0 0 0 10 10 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906831608592 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16191] ppid=16184 vsize=14002488 CPUtime=0.18 cores=0-3,8-11
/proc/16185/task/16191/stat : 16191 (java) S 16184 16184 18810 0 -1 1077944384 1740 0 0 0 11 7 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906830556048 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16192] ppid=16184 vsize=14002488 CPUtime=0.17 cores=0-3,8-11
/proc/16185/task/16192/stat : 16192 (java) S 16184 16184 18810 0 -1 1077944384 366 0 0 0 8 9 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906829502992 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16193] ppid=16184 vsize=14002488 CPUtime=0.18 cores=0-3,8-11
/proc/16185/task/16193/stat : 16193 (java) S 16184 16184 18810 0 -1 1077944384 2081 0 0 0 10 8 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906828450448 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16194] ppid=16184 vsize=14002488 CPUtime=0.2 cores=0-3,8-11
/proc/16185/task/16194/stat : 16194 (java) S 16184 16184 18810 0 -1 1077944384 223 0 0 0 9 11 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906827397392 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16195] ppid=16184 vsize=14002488 CPUtime=0.19 cores=0-3,8-11
/proc/16185/task/16195/stat : 16195 (java) S 16184 16184 18810 0 -1 1077944384 372 0 0 0 10 9 0 0 20 0 28 0 4645204 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906826344848 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16196] ppid=16184 vsize=14002488 CPUtime=0.1 cores=0-3,8-11
/proc/16185/task/16196/stat : 16196 (java) S 16184 16184 18810 0 -1 1077944384 2142 0 0 0 5 5 0 0 20 0 28 0 4645206 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906696854256 139907234597506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16197] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16197/stat : 16197 (java) S 16184 16184 18810 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4645207 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906695800544 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16198] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16198/stat : 16198 (java) S 16184 16184 18810 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4645207 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906694747376 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16199] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16199/stat : 16199 (java) S 16184 16184 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4645211 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906693695952 139907234604955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16200] ppid=16184 vsize=14002488 CPUtime=3.28 cores=0-3,8-11
/proc/16185/task/16200/stat : 16200 (java) S 16184 16184 18810 0 -1 1077944384 11060 0 0 0 326 2 0 0 20 0 28 0 4645211 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906692643056 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16201] ppid=16184 vsize=14002488 CPUtime=3.74 cores=0-3,8-11
/proc/16185/task/16201/stat : 16201 (java) S 16184 16184 18810 0 -1 1077944384 11533 0 0 0 371 3 0 0 20 0 28 0 4645211 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906691590512 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16202] ppid=16184 vsize=14002488 CPUtime=3.37 cores=0-3,8-11
/proc/16185/task/16202/stat : 16202 (java) S 16184 16184 18810 0 -1 1077944384 9449 0 0 0 336 1 0 0 20 0 28 0 4645211 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906690537456 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16203] ppid=16184 vsize=14002488 CPUtime=1.16 cores=0-3,8-11
/proc/16185/task/16203/stat : 16203 (java) S 16184 16184 18810 0 -1 1077944384 8667 0 0 0 114 2 0 0 20 0 28 0 4645211 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906689484912 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16204] ppid=16184 vsize=14002488 CPUtime=0 cores=0-3,8-11
/proc/16185/task/16204/stat : 16204 (java) S 16184 16184 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4645211 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906688433120 139907234596565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16205] ppid=16184 vsize=14002488 CPUtime=0.15 cores=0-3,8-11
/proc/16185/task/16205/stat : 16205 (java) S 16184 16184 18810 0 -1 1077944384 1157 0 0 0 6 9 0 0 20 0 28 0 4645211 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906687380656 139907234597506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16319] ppid=16184 vsize=14002488 CPUtime=298.19 cores=0-3,8-11
/proc/16185/task/16319/stat : 16319 (java) R 16184 16184 18810 0 -1 4202560 1027 0 0 0 29817 2 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906332437960 139906838230010 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16320] ppid=16184 vsize=14002488 CPUtime=297.41 cores=0-3,8-11
/proc/16185/task/16320/stat : 16320 (java) R 16184 16184 18810 0 -1 4202560 923 0 0 0 29740 1 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906333491304 139906836994044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16321] ppid=16184 vsize=14002488 CPUtime=298.42 cores=0-3,8-11
/proc/16185/task/16321/stat : 16321 (java) R 16184 16184 18810 0 -1 4202560 1916 0 0 0 29839 3 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906338754536 139906838339290 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16322] ppid=16184 vsize=14002488 CPUtime=297.73 cores=0-3,8-11
/proc/16185/task/16322/stat : 16322 (java) R 16184 16184 18810 0 -1 4202560 2965 0 0 0 29767 6 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906335596296 139906837963672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16323] ppid=16184 vsize=14002488 CPUtime=298.66 cores=0-3,8-11
/proc/16185/task/16323/stat : 16323 (java) R 16184 16184 18810 0 -1 4202560 1389 0 0 0 29865 1 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906334543720 139906838841098 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16324] ppid=16184 vsize=14002488 CPUtime=296.64 cores=0-3,8-11
/proc/16185/task/16324/stat : 16324 (java) R 16184 16184 18810 0 -1 4202560 400 0 0 0 29662 2 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906331385200 139906838231100 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16325] ppid=16184 vsize=14002488 CPUtime=297.59 cores=0-3,8-11
/proc/16185/task/16325/stat : 16325 (java) R 16184 16184 18810 0 -1 4202560 1370 0 0 0 29755 4 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906337702376 139906838229900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
[pid=16185/tid=16326] ppid=16184 vsize=14002488 CPUtime=298.42 cores=0-3,8-11
/proc/16185/task/16326/stat : 16326 (java) R 16184 16184 18810 0 -1 4202560 1873 0 0 0 29837 5 0 0 20 0 28 0 4645415 14338547712 235963 33554432000 4194304 4196468 140721143423104 139906340863168 139906837963606 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 24604672 140721143428284 140721143428460 140721143428460 140721143431119 0
Current children cumulated CPU time (s) 2400.5
Current children cumulated vsize (KiB) 14012000
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 16185 sig 9
??? kill 16184 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 16184 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2303
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=767
# CPU time returned by wait4() is 0.00307
# while last known CPU time is 2400.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.628
CPU time (s): 2400.5
CPU user time (s): 2399.12
CPU system time (s): 1.38
CPU usage (%): 793.217
Max. virtual memory (cumulated for all children) (KiB): 14012000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002303
system time used= 0.000767
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.9952 second user time and 4.20361 second system time
The end