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-4246937-1500688805/watcher-4246937-1500688805 -o /tmp/evaluation-result-4246937-1500688805/solver-4246937-1500688805 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 952130674 HOME/instance-4246937-1500688805.xml
pid=2444
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 6.40 6.80 10.47 10/271 2447
/proc/meminfo: memFree=31412272/32770624 swapFree=5800/274448
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 6.40 6.80 10.47 10/271 2447
/proc/meminfo: memFree=31412272/32770624 swapFree=5800/274448
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200367 s]
/proc/loadavg: 6.40 6.80 10.47 10/271 2447
/proc/meminfo: memFree=31412272/32770624 swapFree=5800/274448
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300287 s]
/proc/loadavg: 6.40 6.80 10.47 10/271 2447
/proc/meminfo: memFree=31412272/32770624 swapFree=5800/274448
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700205 s]
/proc/loadavg: 6.40 6.80 10.47 10/271 2447
/proc/meminfo: memFree=31412272/32770624 swapFree=5800/274448
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50129 s]
/proc/loadavg: 6.85 6.89 10.48 13/292 2468
/proc/meminfo: memFree=31243396/32770624 swapFree=5800/274816
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13269256 CPUtime=5.44 cores=1,3,5,7,9,11,13,15
/proc/2448/stat : 2448 (java) S 2447 2447 7621 0 -1 1077944320 22369 0 0 0 523 21 0 0 20 0 20 0 4148263 13587718144 57384 33554432000 4194304 4196468 140729742664016 140729742646560 140554470149879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
/proc/2448/statm: 3317314 57384 3246 1 0 3304547 0
[pid=2448/tid=2449] ppid=2447 vsize=13269256 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2449/stat : 2449 (java) R 2447 2447 7621 0 -1 4202560 7161 0 0 0 137 5 0 0 20 0 20 0 4148263 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554474385208 140554097743717 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2451] ppid=2447 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 7621 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554422770832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2452] ppid=2447 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 7621 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554421718032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2453] ppid=2447 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 7621 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554420665232 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2454] ppid=2447 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 7621 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554419612432 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2455] ppid=2447 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 7621 0 -1 1077944384 194 0 0 0 1 2 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554418559632 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2456] ppid=2447 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 7621 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554417506832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2457] ppid=2447 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 7621 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554416454032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2458] ppid=2447 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 7621 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 4148264 13587718144 57384 33554432000 4194304 4196468 140729742664016 140554062461200 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2459] ppid=2447 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 7621 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 20 0 4148266 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553133984624 140554470161026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2460] ppid=2447 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 7621 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4148267 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553132930656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2461] ppid=2447 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4148267 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553131877760 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2462] ppid=2447 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4148272 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553130826064 140554470168475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2463] ppid=2447 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2463/stat : 2463 (java) R 2447 2447 7621 0 -1 4202560 4239 0 0 0 103 0 0 0 20 0 20 0 4148272 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553129753464 140554453617910 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2464] ppid=2447 vsize=13269256 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2464/stat : 2464 (java) R 2447 2447 7621 0 -1 4202560 2885 0 0 0 101 0 0 0 20 0 20 0 4148272 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553128706592 140554451671058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2465] ppid=2447 vsize=13269256 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2465/stat : 2465 (java) R 2447 2447 7621 0 -1 4202560 3548 0 0 0 96 0 0 0 20 0 20 0 4148272 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553127660784 140554456173679 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2466] ppid=2447 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 7621 0 -1 1077944384 2500 0 0 0 70 0 0 0 20 0 20 0 4148272 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553126615024 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2467] ppid=2447 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4148272 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553125563488 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2468] ppid=2447 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4148272 13587718144 57384 33554432000 4194304 4196468 140729742664016 140553124510768 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 13278768
[startup+3.10122 s]
/proc/loadavg: 6.85 6.89 10.48 17/292 2468
/proc/meminfo: memFree=30965828/32770624 swapFree=5800/274824
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=13.06 cores=1,3,5,7,9,11,13,15
/proc/2448/stat : 2448 (java) S 2447 2447 7621 0 -1 1077944320 33806 0 0 0 1249 57 0 0 20 0 28 0 4148263 14133010432 131141 33554432000 4194304 4196468 140729742664016 140729742646560 140554470149879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
/proc/2448/statm: 3450442 131141 3263 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 7621 0 -1 1077944384 9191 0 0 0 230 7 0 0 20 0 28 0 4148263 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554474390656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 7621 0 -1 1077944384 200 0 0 0 6 6 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554422770832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 7621 0 -1 1077944384 57 0 0 0 6 4 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554421718032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 7621 0 -1 1077944384 123 0 0 0 6 4 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554420665232 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 7621 0 -1 1077944384 562 0 0 0 6 4 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554419612432 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 7621 0 -1 1077944384 296 0 0 0 5 5 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554418559632 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 7621 0 -1 1077944384 143 0 0 0 5 5 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554417506832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 7621 0 -1 1077944384 65 0 0 0 5 5 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554416454032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 7621 0 -1 1077944384 99 0 0 0 6 6 0 0 20 0 28 0 4148264 14133010432 131141 33554432000 4194304 4196468 140729742664016 140554062461200 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2459] ppid=2447 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 7621 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 28 0 4148266 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553133984624 140554470161026 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2460] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 7621 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4148267 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553132930656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2461] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4148267 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553131877760 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2462] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553130826064 140554470168475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2463] ppid=2447 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2463/stat : 2463 (java) R 2447 2447 7621 0 -1 4202560 5474 0 0 0 197 1 0 0 20 0 28 0 4148272 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553129759968 140554455049245 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2464] ppid=2447 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2464/stat : 2464 (java) R 2447 2447 7621 0 -1 4202560 5560 0 0 0 194 0 0 0 20 0 28 0 4148272 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553128707168 140554454902690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2465] ppid=2447 vsize=13801768 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2465/stat : 2465 (java) R 2447 2447 7621 0 -1 4202560 5749 0 0 0 200 1 0 0 20 0 28 0 4148272 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553127654504 140554455261138 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2466] ppid=2447 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 7621 0 -1 1077944384 4074 0 0 0 96 1 0 0 20 0 28 0 4148272 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553126615024 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2467] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553125563488 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2468] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 131141 33554432000 4194304 4196468 140729742664016 140553124510768 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2448 sig 9
??? kill 2447 sig 9
??? kill -2447 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2016 s]
/proc/loadavg: 6.85 6.89 10.48 17/292 2468
/proc/meminfo: memFree=30965828/32770624 swapFree=5800/274824
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=13.86 cores=1,3,5,7,9,11,13,15
/proc/2448/stat : 2448 (java) S 2447 2447 7621 0 -1 1077944320 34170 0 0 0 1328 58 0 0 20 0 28 0 4148263 14133010432 133988 33554432000 4194304 4196468 140729742664016 140729742646560 140554470149879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
/proc/2448/statm: 3450442 133988 3263 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 7621 0 -1 1077944384 9191 0 0 0 230 7 0 0 20 0 28 0 4148263 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554474390656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 7621 0 -1 1077944384 200 0 0 0 6 6 0 0 20 0 28 0 4148264 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554422770832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 7621 0 -1 1077944384 57 0 0 0 6 4 0 0 20 0 28 0 4148264 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554421718032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 7621 0 -1 1077944384 123 0 0 0 6 4 0 0 20 0 28 0 4148264 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554420665232 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 7621 0 -1 1077944384 562 0 0 0 6 4 0 0 20 0 28 0 4148264 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554419612432 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 7621 0 -1 1077944384 296 0 0 0 5 5 0 0 20 0 28 0 4148264 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554418559632 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 7621 0 -1 1077944384 143 0 0 0 5 5 0 0 20 0 28 0 4148264 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554417506832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 7621 0 -1 1077944384 65 0 0 0 5 5 0 0 20 0 28 0 4148264 14133010432 133988 33554432000 4194304 4196468 140729742664016 140554416454032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 7621 0 -1 1077944384 227 0 0 0 10 9 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554422770832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 7621 0 -1 1077944384 89 0 0 0 10 7 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554421718032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 7621 0 -1 1077944384 179 0 0 0 10 7 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554420665232 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 7621 0 -1 1077944384 590 0 0 0 11 7 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554419612432 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 7621 0 -1 1077944384 371 0 0 0 10 8 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554418559632 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 7621 0 -1 1077944384 189 0 0 0 10 8 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554417506832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 7621 0 -1 1077944384 104 0 0 0 9 8 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554416454032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 7621 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 28 0 4148264 14133010432 174769 33554432000 4194304 4196468 140729742664016 140554062461200 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2459] ppid=2447 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 7621 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 28 0 4148266 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553133984624 140554470161026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2460] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 7621 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4148267 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553132930656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2461] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4148267 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553131877760 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2462] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553130826064 140554470168475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2463] ppid=2447 vsize=13801768 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2463/stat : 2463 (java) S 2447 2447 7621 0 -1 1077944384 5649 0 0 0 287 1 0 0 20 0 28 0 4148272 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553129773424 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2464] ppid=2447 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2464/stat : 2464 (java) S 2447 2447 7621 0 -1 1077944384 5613 0 0 0 256 1 0 0 20 0 28 0 4148272 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553128720624 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2465] ppid=2447 vsize=13801768 CPUtime=2.84 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2465/stat : 2465 (java) S 2447 2447 7621 0 -1 1077944384 6172 0 0 0 283 1 0 0 20 0 28 0 4148272 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553127667824 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2466] ppid=2447 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 7621 0 -1 1077944384 4257 0 0 0 111 1 0 0 20 0 28 0 4148272 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553126615024 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 6 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2467] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553125563488 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2468] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 7621 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553124510768 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 8 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2469] ppid=2447 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2469/stat : 2469 (java) R 2447 2447 7621 0 -1 4202560 84 0 0 0 215 0 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553116994808 140554105123682 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2470] ppid=2447 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2470/stat : 2470 (java) R 2447 2447 7621 0 -1 4202560 55 0 0 0 203 0 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553115945192 140554106129252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2471] ppid=2447 vsize=13801768 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2471/stat : 2471 (java) R 2447 2447 7621 0 -1 4202560 78 0 0 0 220 0 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553114890872 140554105201783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2472] ppid=2447 vsize=13801768 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2472/stat : 2472 (java) R 2447 2447 7621 0 -1 4202560 231 0 0 0 193 2 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553113837608 140554106129247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2473] ppid=2447 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2473/stat : 2473 (java) R 2447 2447 7621 0 -1 4202560 320 0 0 0 198 0 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553112784712 140554105528287 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2474] ppid=2447 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2474/stat : 2474 (java) R 2447 2447 7621 0 -1 4202560 46 0 0 0 190 0 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553111731992 140554106129252 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2475] ppid=2447 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2475/stat : 2475 (java) R 2447 2447 7621 0 -1 4202560 53 0 0 0 189 0 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553110680136 140554105123141 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2478] ppid=2447 vsize=13801768 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2478/stat : 2478 (java) R 2447 2447 7621 0 -1 4202560 89 0 0 0 216 0 0 0 20 0 28 0 4148518 14133010432 174769 33554432000 4194304 4196468 140729742664016 140553109627240 140554105123005 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
Current children cumulated CPU time (s) 29.64
Current children cumulated vsize (KiB) 13811280
[startup+5.40147 s]
/proc/loadavg: 6.85 6.89 10.48 17/300 2478
/proc/meminfo: memFree=30668624/32770624 swapFree=5800/274824
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=31.23 cores=1,3,5,7,9,11,13,15
/proc/2448/stat : 2448 (java) S 2447 2447 7621 0 -1 1077944320 36974 0 0 0 3037 86 0 0 20 0 28 0 4148263 14133010432 174867 33554432000 4194304 4196468 140729742664016 140729742646560 140554470149879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
/proc/2448/statm: 3450442 174867 3275 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 7621 0 -1 1077944384 9191 0 0 0 230 7 0 0 20 0 28 0 4148263 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554474390656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 7621 0 -1 1077944384 227 0 0 0 10 9 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554422770832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 7621 0 -1 1077944384 89 0 0 0 10 7 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554421718032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 7621 0 -1 1077944384 179 0 0 0 10 7 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554420665232 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 7621 0 -1 1077944384 590 0 0 0 11 7 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554419612432 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 7621 0 -1 1077944384 371 0 0 0 10 8 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554418559632 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 7621 0 -1 1077944384 189 0 0 0 10 8 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554417506832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 7621 0 -1 1077944384 104 0 0 0 9 8 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554416454032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 7621 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 28 0 4148264 14133010432 174867 33554432000 4194304 4196468 140729742664016 140554062461200 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2459] ppid=2447 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 7621 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 28 0 4148266 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553133984624 140554470161026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2460] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 7621 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4148267 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553132930656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2461] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4148267 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553131877760 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2462] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553130826064 140554470168475 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2463] ppid=2447 vsize=13801768 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2463/stat : 2463 (java) S 2447 2447 7621 0 -1 1077944384 5651 0 0 0 287 1 0 0 20 0 28 0 4148272 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553129773424 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2464] ppid=2447 vsize=13801768 CPUtime=2.63 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2464/stat : 2464 (java) S 2447 2447 7621 0 -1 1077944384 6401 0 0 0 262 1 0 0 20 0 28 0 4148272 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553128720624 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2465] ppid=2447 vsize=13801768 CPUtime=2.84 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2465/stat : 2465 (java) S 2447 2447 7621 0 -1 1077944384 6174 0 0 0 283 1 0 0 20 0 28 0 4148272 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553127667824 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2466] ppid=2447 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 7621 0 -1 1077944384 4398 0 0 0 111 1 0 0 20 0 28 0 4148272 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553126615024 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 6 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2467] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553125563488 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2468] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2468/stat : 2468 (java) S 2447 2447 7621 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4148272 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553124510768 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 8 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2469] ppid=2447 vsize=13801768 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2469/stat : 2469 (java) R 2447 2447 7621 0 -1 4202560 107 0 0 0 235 0 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553116994808 140554104651267 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2470] ppid=2447 vsize=13801768 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2470/stat : 2470 (java) R 2447 2447 7621 0 -1 4202560 77 0 0 0 223 0 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553115945192 140554105559958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2471] ppid=2447 vsize=13801768 CPUtime=2.4 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2471/stat : 2471 (java) R 2447 2447 7621 0 -1 4202560 121 0 0 0 240 0 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553114890872 140554104652146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2472] ppid=2447 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2472/stat : 2472 (java) R 2447 2447 7621 0 -1 4202560 306 0 0 0 213 2 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553113837608 140554105240037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2473] ppid=2447 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2473/stat : 2473 (java) R 2447 2447 7621 0 -1 4202560 369 0 0 0 218 0 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553112786952 140554104809377 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2474] ppid=2447 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2474/stat : 2474 (java) R 2447 2447 7621 0 -1 4202560 52 0 0 0 206 0 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553111731992 140554104651253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2475] ppid=2447 vsize=13801768 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2475/stat : 2475 (java) R 2447 2447 7621 0 -1 4202560 79 0 0 0 209 0 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553110680136 140554105123035 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2478] ppid=2447 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2478/stat : 2478 (java) R 2447 2447 7621 0 -1 4202560 118 0 0 0 233 0 0 0 20 0 28 0 4148518 14133010432 174867 33554432000 4194304 4196468 140729742664016 140553109626744 140554104809297 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
Current children cumulated CPU time (s) 31.23
Current children cumulated vsize (KiB) 13811280
[startup+5.50166 s]
/proc/loadavg: 6.85 6.89 10.48 21/300 2478
/proc/meminfo: memFree=30665376/32770624 swapFree=5800/274832
[pid=2447] ppid=2444 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2447/stat : 2447 (xcsp3-exec) S 2444 2447 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4148262 9740288 346 33554432000 4194304 5098028 140736265881104 140736265879208 140525695382140 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29589504 140736265888911 140736265889120 140736265889120 140736265891819 0
/proc/2447/statm: 2378 346 289 221 0 87 0
[pid=2448] ppid=2447 vsize=13801768 CPUtime=32.05 cores=1,3,5,7,9,11,13,15
/proc/2448/stat : 2448 (java) S 2447 2447 7621 0 -1 1077944320 37955 0 0 0 3119 86 0 0 20 0 19 0 4148263 14133010432 174829 33554432000 4194304 4196468 140729742664016 140729742646560 140554470149879 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
/proc/2448/statm: 3450442 174829 3279 1 0 3437675 0
[pid=2448/tid=2449] ppid=2447 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2449/stat : 2449 (java) S 2447 2447 7621 0 -1 1077944384 9296 0 0 0 230 7 0 0 20 0 19 0 4148263 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554474392720 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2451] ppid=2447 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2451/stat : 2451 (java) S 2447 2447 7621 0 -1 1077944384 227 0 0 0 10 9 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554422770832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2452] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2452/stat : 2452 (java) S 2447 2447 7621 0 -1 1077944384 89 0 0 0 10 7 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554421718032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2453] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2453/stat : 2453 (java) S 2447 2447 7621 0 -1 1077944384 179 0 0 0 10 7 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554420665232 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2454] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2454/stat : 2454 (java) S 2447 2447 7621 0 -1 1077944384 590 0 0 0 11 7 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554419612432 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2455] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2455/stat : 2455 (java) S 2447 2447 7621 0 -1 1077944384 371 0 0 0 10 8 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554418559632 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2456] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2456/stat : 2456 (java) S 2447 2447 7621 0 -1 1077944384 189 0 0 0 10 8 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554417506832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2457] ppid=2447 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2457/stat : 2457 (java) S 2447 2447 7621 0 -1 1077944384 104 0 0 0 9 8 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554416454032 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2458] ppid=2447 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2458/stat : 2458 (java) S 2447 2447 7621 0 -1 1077944384 122 0 0 0 9 9 0 0 20 0 19 0 4148264 14133010432 174829 33554432000 4194304 4196468 140729742664016 140554062461200 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2459] ppid=2447 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2459/stat : 2459 (java) S 2447 2447 7621 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 19 0 4148266 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553133984832 140554470161026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2460] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2460/stat : 2460 (java) S 2447 2447 7621 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 4148267 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553132930656 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2461] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2461/stat : 2461 (java) S 2447 2447 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 4148267 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553131877760 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2462] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2462/stat : 2462 (java) S 2447 2447 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 4148272 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553130824832 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2463] ppid=2447 vsize=13801768 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2463/stat : 2463 (java) S 2447 2447 7621 0 -1 1077944384 5856 0 0 0 288 1 0 0 20 0 19 0 4148272 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553129758384 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2464] ppid=2447 vsize=13801768 CPUtime=2.63 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2464/stat : 2464 (java) S 2447 2447 7621 0 -1 1077944384 6460 0 0 0 262 1 0 0 20 0 19 0 4148272 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553128705680 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2465] ppid=2447 vsize=13801768 CPUtime=2.85 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2465/stat : 2465 (java) S 2447 2447 7621 0 -1 1077944384 6290 0 0 0 284 1 0 0 20 0 19 0 4148272 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553127648224 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2466] ppid=2447 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2466/stat : 2466 (java) S 2447 2447 7621 0 -1 1077944384 4643 0 0 0 113 1 0 0 20 0 19 0 4148272 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553126615024 140554470161026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 6 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
[pid=2448/tid=2467] ppid=2447 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2448/task/2467/stat : 2467 (java) S 2447 2447 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 4148272 14133010432 174829 33554432000 4194304 4196468 140729742664016 140553125563488 140554470160085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22339584 140729742673084 140729742673260 140729742673260 140729742675919 0
Current children cumulated CPU time (s) 32.05
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 5.52589
CPU time (s): 32.0772
CPU user time (s): 31.2
CPU system time (s): 0.877125
CPU usage (%): 580.489
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.2
system time used= 0.877125
maximum resident set size= 705204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4324
involuntary context switches= 2740
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058585 second user time and 0.086832 second system time
The end