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-4248954-1500693168/watcher-4248954-1500693168 -o /tmp/evaluation-result-4248954-1500693168/solver-4248954-1500693168 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 30416762 HOME/instance-4248954-1500693168.xml
pid=11676
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 9.06 11.72 13.04 10/272 11679
/proc/meminfo: memFree=31125876/32770624 swapFree=5800/283596
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
[startup+0.100136 s]
/proc/loadavg: 9.06 11.72 13.04 10/272 11679
/proc/meminfo: memFree=31125876/32770624 swapFree=5800/283596
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20036 s]
/proc/loadavg: 9.06 11.72 13.04 10/272 11679
/proc/meminfo: memFree=31125876/32770624 swapFree=5800/283596
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300293 s]
/proc/loadavg: 9.06 11.72 13.04 10/272 11679
/proc/meminfo: memFree=31125876/32770624 swapFree=5800/283596
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700858 s]
/proc/loadavg: 9.06 11.72 13.04 10/272 11679
/proc/meminfo: memFree=31125876/32770624 swapFree=5800/283596
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50092 s]
/proc/loadavg: 9.06 11.72 13.04 10/293 11700
/proc/meminfo: memFree=30519700/32770624 swapFree=5800/284072
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
[pid=11680] ppid=11679 vsize=13267208 CPUtime=3.22 cores=0,2,4,6,8,10,12,14
/proc/11680/stat : 11680 (java) S 11679 11679 7621 0 -1 1077944320 11546 0 0 0 251 71 0 0 20 0 20 0 4584656 13585620992 154634 33554432000 4194304 4196468 140731707497056 140731707479600 139790175719159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
/proc/11680/statm: 3316802 154634 3177 1 0 3304035 0
[pid=11680/tid=11681] ppid=11679 vsize=13267208 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11681/stat : 11681 (java) R 11679 11679 7621 0 -1 4202560 6618 0 0 0 117 9 0 0 20 0 20 0 4584657 13585620992 154634 33554432000 4194304 4196468 140731707497056 139790179956080 139789796294209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11683] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11683/stat : 11683 (java) S 11679 11679 7621 0 -1 1077944384 61 0 0 0 11 7 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139790114684048 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11684] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11684/stat : 11684 (java) S 11679 11679 7621 0 -1 1077944384 50 0 0 0 12 6 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139790113631248 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11685] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11685/stat : 11685 (java) S 11679 11679 7621 0 -1 1077944384 102 0 0 0 11 7 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789773265808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11686] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11686/stat : 11686 (java) S 11679 11679 7621 0 -1 1077944384 71 0 0 0 11 7 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789772213008 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11687] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11687/stat : 11687 (java) S 11679 11679 7621 0 -1 1077944384 209 0 0 0 11 7 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789771160208 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11688] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11688/stat : 11688 (java) S 11679 11679 7621 0 -1 1077944384 153 0 0 0 11 7 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789770107408 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11689] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11689/stat : 11689 (java) S 11679 11679 7621 0 -1 1077944384 135 0 0 0 11 7 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789769054608 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11690] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11690/stat : 11690 (java) S 11679 11679 7621 0 -1 1077944384 145 0 0 0 11 7 0 0 20 0 20 0 4584658 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789768001808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11691] ppid=11679 vsize=13267208 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11691/stat : 11691 (java) S 11679 11679 7621 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 20 0 4584660 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789637491568 139790175730306 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11692] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11692/stat : 11692 (java) S 11679 11679 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4584661 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789636437536 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11693] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11693/stat : 11693 (java) S 11679 11679 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4584661 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789635384688 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11694] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11694/stat : 11694 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584664 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789634333008 139790175737755 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11695] ppid=11679 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11695/stat : 11695 (java) S 11679 11679 7621 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 20 0 4584664 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789633280368 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11696] ppid=11679 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11696/stat : 11696 (java) S 11679 11679 7621 0 -1 1077944384 289 0 0 0 6 0 0 0 20 0 20 0 4584664 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789632227568 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11697] ppid=11679 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11697/stat : 11697 (java) S 11679 11679 7621 0 -1 1077944384 574 0 0 0 6 0 0 0 20 0 20 0 4584664 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789631174768 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11698] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11698/stat : 11698 (java) S 11679 11679 7621 0 -1 1077944384 937 0 0 0 18 0 0 0 20 0 20 0 4584664 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789630121968 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11699] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11699/stat : 11699 (java) S 11679 11679 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4584665 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789629070432 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11700] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11700/stat : 11700 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584665 13585620992 154634 33554432000 4194304 4196468 140731707497056 139789628017712 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 13276720
[startup+3.10088 s]
/proc/loadavg: 9.06 11.72 13.04 10/293 11700
/proc/meminfo: memFree=30406184/32770624 swapFree=5800/284072
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
[pid=11680] ppid=11679 vsize=13267208 CPUtime=5.77 cores=0,2,4,6,8,10,12,14
/proc/11680/stat : 11680 (java) S 11679 11679 7621 0 -1 1077944320 14575 0 0 0 441 136 0 0 20 0 20 0 4584656 13585620992 184619 33554432000 4194304 4196468 140731707497056 140731707479600 139790175719159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
/proc/11680/statm: 3316802 184619 3187 1 0 3304035 0
[pid=11680/tid=11681] ppid=11679 vsize=13267208 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11681/stat : 11681 (java) R 11679 11679 7621 0 -1 4202560 6978 0 0 0 263 9 0 0 20 0 20 0 4584657 13585620992 184619 33554432000 4194304 4196468 140731707497056 139790179956976 139789796257798 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11683] ppid=11679 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11683/stat : 11683 (java) S 11679 11679 7621 0 -1 1077944384 452 0 0 0 17 15 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139790114684048 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11684] ppid=11679 vsize=13267208 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11684/stat : 11684 (java) S 11679 11679 7621 0 -1 1077944384 290 0 0 0 17 14 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139790113631248 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11685] ppid=11679 vsize=13267208 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11685/stat : 11685 (java) S 11679 11679 7621 0 -1 1077944384 613 0 0 0 16 15 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789773265808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11686] ppid=11679 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11686/stat : 11686 (java) S 11679 11679 7621 0 -1 1077944384 415 0 0 0 17 15 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789772213008 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11687] ppid=11679 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11687/stat : 11687 (java) S 11679 11679 7621 0 -1 1077944384 430 0 0 0 16 16 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789771160208 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11688] ppid=11679 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11688/stat : 11688 (java) S 11679 11679 7621 0 -1 1077944384 371 0 0 0 17 15 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789770107408 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11689] ppid=11679 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11689/stat : 11689 (java) S 11679 11679 7621 0 -1 1077944384 411 0 0 0 17 15 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789769054608 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11690] ppid=11679 vsize=13267208 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11690/stat : 11690 (java) S 11679 11679 7621 0 -1 1077944384 350 0 0 0 16 16 0 0 20 0 20 0 4584658 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789768001808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11691] ppid=11679 vsize=13267208 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11691/stat : 11691 (java) S 11679 11679 7621 0 -1 1077944384 747 0 0 0 2 0 0 0 20 0 20 0 4584660 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789637491568 139790175730306 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11692] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11692/stat : 11692 (java) S 11679 11679 7621 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4584661 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789636437536 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11693] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11693/stat : 11693 (java) S 11679 11679 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4584661 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789635384688 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11694] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11694/stat : 11694 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584664 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789634333008 139790175737755 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11695] ppid=11679 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11695/stat : 11695 (java) S 11679 11679 7621 0 -1 1077944384 388 0 0 0 6 0 0 0 20 0 20 0 4584664 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789633280368 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11696] ppid=11679 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11696/stat : 11696 (java) S 11679 11679 7621 0 -1 1077944384 289 0 0 0 6 0 0 0 20 0 20 0 4584664 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789632227568 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11697] ppid=11679 vsize=13267208 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11697/stat : 11697 (java) S 11679 11679 7621 0 -1 1077944384 574 0 0 0 6 0 0 0 20 0 20 0 4584664 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789631174768 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11698] ppid=11679 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11698/stat : 11698 (java) S 11679 11679 7621 0 -1 1077944384 937 0 0 0 18 0 0 0 20 0 20 0 4584664 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789630121968 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11699] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11699/stat : 11699 (java) S 11679 11679 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4584665 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789629070432 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11700] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11700/stat : 11700 (java) S 11679 11679 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4584665 13585620992 184619 33554432000 4194304 4196468 140731707497056 139789628017712 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13276720
[startup+6.30127 s]
/proc/loadavg: 9.05 11.67 13.02 10/293 11700
/proc/meminfo: memFree=29566792/32770624 swapFree=5800/284048
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
[pid=11680] ppid=11679 vsize=13267208 CPUtime=18.73 cores=0,2,4,6,8,10,12,14
/proc/11680/stat : 11680 (java) S 11679 11679 7621 0 -1 1077944320 24173 0 0 0 1405 468 0 0 20 0 20 0 4584656 13585620992 402004 33554432000 4194304 4196468 140731707497056 140731707479600 139790175719159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
/proc/11680/statm: 3316802 402004 3237 1 0 3304035 0
[pid=11680/tid=11681] ppid=11679 vsize=13267208 CPUtime=4.38 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11681/stat : 11681 (java) S 11679 11679 7621 0 -1 1077944384 8031 0 0 0 426 12 0 0 20 0 20 0 4584657 13585620992 402004 33554432000 4194304 4196468 140731707497056 139790179956528 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11683] ppid=11679 vsize=13267208 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11683/stat : 11683 (java) R 11679 11679 7621 0 -1 4202560 867 0 0 0 108 55 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139790114683936 139790160747042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11684] ppid=11679 vsize=13267208 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11684/stat : 11684 (java) R 11679 11679 7621 0 -1 4202560 689 0 0 0 108 55 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139790113631448 139790160747042 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11685] ppid=11679 vsize=13267208 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11685/stat : 11685 (java) R 11679 11679 7621 0 -1 4202560 979 0 0 0 106 56 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789773266008 139790160747042 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11686] ppid=11679 vsize=13267208 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11686/stat : 11686 (java) R 11679 11679 7621 0 -1 4202560 792 0 0 0 109 57 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789772213208 139790160747042 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11687] ppid=11679 vsize=13267208 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11687/stat : 11687 (java) R 11679 11679 7621 0 -1 4202560 816 0 0 0 109 56 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789771160408 139790160747042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11688] ppid=11679 vsize=13267208 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11688/stat : 11688 (java) R 11679 11679 7621 0 -1 4202560 903 0 0 0 108 57 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789770107608 139790160747042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11689] ppid=11679 vsize=13267208 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11689/stat : 11689 (java) R 11679 11679 7621 0 -1 4202560 781 0 0 0 109 56 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789769054808 139790160747042 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11690] ppid=11679 vsize=13267208 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11690/stat : 11690 (java) R 11679 11679 7621 0 -1 4202560 719 0 0 0 109 57 0 0 20 0 20 0 4584658 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789768002008 139790160747042 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11691] ppid=11679 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11691/stat : 11691 (java) S 11679 11679 7621 0 -1 1077944384 2782 0 0 0 20 0 0 0 20 0 20 0 4584660 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789637490080 139790175729365 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11692] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11692/stat : 11692 (java) S 11679 11679 7621 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 4584661 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789636437600 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11693] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11693/stat : 11693 (java) S 11679 11679 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4584661 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789635384688 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11694] ppid=11679 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11694/stat : 11694 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584664 13585620992 402004 33554432000 4194304 4196468 140731707497056 139789634333008 139790175737755 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
################
# More data... #
################
/proc/11680/task/11693/stat : 11693 (java) S 11679 11679 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4584661 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789635384704 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11694] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11694/stat : 11694 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584664 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789634333008 139790175737755 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11695] ppid=11679 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11695/stat : 11695 (java) S 11679 11679 7621 0 -1 1077944384 2341 0 0 0 40 0 0 0 20 0 20 0 4584664 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789633280368 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11696] ppid=11679 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11696/stat : 11696 (java) S 11679 11679 7621 0 -1 1077944384 2154 0 0 0 42 0 0 0 20 0 20 0 4584664 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789632227568 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11697] ppid=11679 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11697/stat : 11697 (java) S 11679 11679 7621 0 -1 1077944384 3513 0 0 0 47 0 0 0 20 0 20 0 4584664 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789631174768 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11698] ppid=11679 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11698/stat : 11698 (java) S 11679 11679 7621 0 -1 1077944384 3193 0 0 0 35 1 0 0 20 0 20 0 4584664 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789630121968 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11699] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11699/stat : 11699 (java) S 11679 11679 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4584665 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789629070432 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11700] ppid=11679 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11700/stat : 11700 (java) S 11679 11679 7621 0 -1 1077944384 314 0 0 0 10 12 0 0 20 0 20 0 4584665 13587718144 2630073 33554432000 4194304 4196468 140731707497056 139789628017712 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
Current children cumulated CPU time (s) 496.45
Current children cumulated vsize (KiB) 13278768
[startup+368.101 s]
/proc/loadavg: 8.96 9.83 11.75 17/291 11903
/proc/meminfo: memFree=19011380/32770624 swapFree=5800/284500
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
[pid=11680] ppid=11679 vsize=13269256 CPUtime=507.51 cores=0,2,4,6,8,10,12,14
/proc/11680/stat : 11680 (java) S 11679 11679 7621 0 -1 1077944320 277448 0 0 0 45933 4818 0 0 20 0 20 0 4584656 13587718144 2630142 33554432000 4194304 4196468 140731707497056 140731707479600 139790175719159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
/proc/11680/statm: 3317314 2630142 3249 1 0 3304547 0
[pid=11680/tid=11681] ppid=11679 vsize=13269256 CPUtime=345.68 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11681/stat : 11681 (java) S 11679 11679 7621 0 -1 1077944384 19928 0 0 0 34555 13 0 0 20 0 20 0 4584657 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139790179957376 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11683] ppid=11679 vsize=13269256 CPUtime=19.31 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11683/stat : 11683 (java) R 11679 11679 7621 0 -1 4202560 18461 0 0 0 1341 590 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139790114684168 139790168347367 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11684] ppid=11679 vsize=13269256 CPUtime=19.73 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11684/stat : 11684 (java) R 11679 11679 7621 0 -1 4202560 19612 0 0 0 1354 619 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139790113631368 139790159102194 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11685] ppid=11679 vsize=13269256 CPUtime=19.79 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11685/stat : 11685 (java) R 11679 11679 7621 0 -1 4202560 21017 0 0 0 1410 569 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789773265928 139790168347367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11686] ppid=11679 vsize=13269256 CPUtime=19.79 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11686/stat : 11686 (java) R 11679 11679 7621 0 -1 4202560 22476 0 0 0 1374 605 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789772213128 139790168347367 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11687] ppid=11679 vsize=13269256 CPUtime=19.86 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11687/stat : 11687 (java) R 11679 11679 7621 0 -1 4202560 77290 0 0 0 1386 600 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789771160408 139790168822131 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11688] ppid=11679 vsize=13269256 CPUtime=19.96 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11688/stat : 11688 (java) R 11679 11679 7621 0 -1 4202560 25130 0 0 0 1393 603 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789770107528 139790168347367 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11689] ppid=11679 vsize=13269256 CPUtime=19.63 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11689/stat : 11689 (java) R 11679 11679 7621 0 -1 4202560 20167 0 0 0 1379 584 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789769054728 139790168347367 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11690] ppid=11679 vsize=13269256 CPUtime=19.66 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11690/stat : 11690 (java) R 11679 11679 7621 0 -1 4202560 18472 0 0 0 1352 614 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789768001928 139790161477968 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11691] ppid=11679 vsize=13269256 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11691/stat : 11691 (java) S 11679 11679 7621 0 -1 1077944384 22027 0 0 0 207 2 0 0 20 0 20 0 4584660 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789637490128 139790175729365 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11692] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11692/stat : 11692 (java) S 11679 11679 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4584661 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789636437600 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11693] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11693/stat : 11693 (java) S 11679 11679 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4584661 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789635384704 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11694] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11694/stat : 11694 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789634333008 139790175737755 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11695] ppid=11679 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11695/stat : 11695 (java) S 11679 11679 7621 0 -1 1077944384 2341 0 0 0 40 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789633280368 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11696] ppid=11679 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11696/stat : 11696 (java) S 11679 11679 7621 0 -1 1077944384 2154 0 0 0 42 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789632227568 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11697] ppid=11679 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11697/stat : 11697 (java) S 11679 11679 7621 0 -1 1077944384 3513 0 0 0 47 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789631174768 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11698] ppid=11679 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11698/stat : 11698 (java) S 11679 11679 7621 0 -1 1077944384 3193 0 0 0 35 1 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789630121968 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11699] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11699/stat : 11699 (java) S 11679 11679 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4584665 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789629070432 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11700] ppid=11679 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11700/stat : 11700 (java) S 11679 11679 7621 0 -1 1077944384 314 0 0 0 10 12 0 0 20 0 20 0 4584665 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789628017712 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
Current children cumulated CPU time (s) 507.51
Current children cumulated vsize (KiB) 13278768
[startup+368.901 s]
/proc/loadavg: 9.12 9.84 11.75 17/291 11903
/proc/meminfo: memFree=19011380/32770624 swapFree=5800/284500
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
[pid=11680] ppid=11679 vsize=13269256 CPUtime=513.62 cores=0,2,4,6,8,10,12,14
/proc/11680/stat : 11680 (java) S 11679 11679 7621 0 -1 1077944320 278688 0 0 0 46540 4822 0 0 20 0 20 0 4584656 13587718144 2630142 33554432000 4194304 4196468 140731707497056 140731707479600 139790175719159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
/proc/11680/statm: 3317314 2630142 3249 1 0 3304547 0
[pid=11680/tid=11681] ppid=11679 vsize=13269256 CPUtime=345.68 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11681/stat : 11681 (java) S 11679 11679 7621 0 -1 1077944384 19928 0 0 0 34555 13 0 0 20 0 20 0 4584657 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139790179957376 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11683] ppid=11679 vsize=13269256 CPUtime=20.07 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11683/stat : 11683 (java) S 11679 11679 7621 0 -1 1077944384 18461 0 0 0 1417 590 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139790114684048 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11684] ppid=11679 vsize=13269256 CPUtime=20.49 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11684/stat : 11684 (java) S 11679 11679 7621 0 -1 1077944384 19612 0 0 0 1429 620 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139790113631248 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11685] ppid=11679 vsize=13269256 CPUtime=20.56 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11685/stat : 11685 (java) S 11679 11679 7621 0 -1 1077944384 21017 0 0 0 1486 570 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789773265808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11686] ppid=11679 vsize=13269256 CPUtime=20.54 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11686/stat : 11686 (java) S 11679 11679 7621 0 -1 1077944384 22476 0 0 0 1449 605 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789772213008 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11687] ppid=11679 vsize=13269256 CPUtime=20.64 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11687/stat : 11687 (java) S 11679 11679 7621 0 -1 1077944384 78530 0 0 0 1464 600 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789771160208 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11688] ppid=11679 vsize=13269256 CPUtime=20.73 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11688/stat : 11688 (java) S 11679 11679 7621 0 -1 1077944384 25130 0 0 0 1469 604 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789770107408 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11689] ppid=11679 vsize=13269256 CPUtime=20.38 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11689/stat : 11689 (java) S 11679 11679 7621 0 -1 1077944384 20167 0 0 0 1454 584 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789769054608 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11690] ppid=11679 vsize=13269256 CPUtime=20.39 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11690/stat : 11690 (java) S 11679 11679 7621 0 -1 1077944384 18472 0 0 0 1425 614 0 0 20 0 20 0 4584658 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789768001808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11691] ppid=11679 vsize=13269256 CPUtime=2.11 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11691/stat : 11691 (java) R 11679 11679 7621 0 -1 4202560 22027 0 0 0 209 2 0 0 20 0 20 0 4584660 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789637490016 139790160715526 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11692] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11692/stat : 11692 (java) S 11679 11679 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4584661 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789636437600 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11693] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11693/stat : 11693 (java) S 11679 11679 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4584661 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789635384704 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11694] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11694/stat : 11694 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789634333008 139790175737755 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11695] ppid=11679 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11695/stat : 11695 (java) S 11679 11679 7621 0 -1 1077944384 2341 0 0 0 40 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789633280368 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11696] ppid=11679 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11696/stat : 11696 (java) S 11679 11679 7621 0 -1 1077944384 2154 0 0 0 42 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789632227568 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11697] ppid=11679 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11697/stat : 11697 (java) S 11679 11679 7621 0 -1 1077944384 3513 0 0 0 47 0 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789631174768 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11698] ppid=11679 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11698/stat : 11698 (java) S 11679 11679 7621 0 -1 1077944384 3193 0 0 0 35 1 0 0 20 0 20 0 4584664 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789630121968 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11699] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11699/stat : 11699 (java) S 11679 11679 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4584665 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789629070432 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11700] ppid=11679 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11700/stat : 11700 (java) S 11679 11679 7621 0 -1 1077944384 314 0 0 0 10 12 0 0 20 0 20 0 4584665 13587718144 2630142 33554432000 4194304 4196468 140731707497056 139789628017712 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
Current children cumulated CPU time (s) 513.62
Current children cumulated vsize (KiB) 13278768
[startup+369.301 s]
/proc/loadavg: 9.12 9.84 11.75 17/291 11903
/proc/meminfo: memFree=19011380/32770624 swapFree=5800/284500
[pid=11679] ppid=11676 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11679/stat : 11679 (xcsp3-exec) S 11676 11679 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4584656 9740288 345 33554432000 4194304 5098028 140728946678816 140728946676920 139912634217084 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13000704 140728946685072 140728946685280 140728946685280 140728946687979 0
/proc/11679/statm: 2378 345 289 221 0 87 0
[pid=11680] ppid=11679 vsize=13269256 CPUtime=514.02 cores=0,2,4,6,8,10,12,14
/proc/11680/stat : 11680 (java) S 11679 11679 7621 0 -1 1077944320 278819 0 0 0 46580 4822 0 0 20 0 20 0 4584656 13587718144 2630145 33554432000 4194304 4196468 140731707497056 140731707479600 139790175719159 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
/proc/11680/statm: 3317314 2630145 3249 1 0 3304547 0
[pid=11680/tid=11681] ppid=11679 vsize=13269256 CPUtime=345.68 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11681/stat : 11681 (java) S 11679 11679 7621 0 -1 1077944384 19928 0 0 0 34555 13 0 0 20 0 20 0 4584657 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139790179957376 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11683] ppid=11679 vsize=13269256 CPUtime=20.07 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11683/stat : 11683 (java) S 11679 11679 7621 0 -1 1077944384 18461 0 0 0 1417 590 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139790114684048 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11684] ppid=11679 vsize=13269256 CPUtime=20.49 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11684/stat : 11684 (java) S 11679 11679 7621 0 -1 1077944384 19612 0 0 0 1429 620 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139790113631248 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11685] ppid=11679 vsize=13269256 CPUtime=20.56 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11685/stat : 11685 (java) S 11679 11679 7621 0 -1 1077944384 21017 0 0 0 1486 570 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789773265808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11686] ppid=11679 vsize=13269256 CPUtime=20.54 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11686/stat : 11686 (java) S 11679 11679 7621 0 -1 1077944384 22476 0 0 0 1449 605 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789772213008 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11687] ppid=11679 vsize=13269256 CPUtime=20.64 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11687/stat : 11687 (java) S 11679 11679 7621 0 -1 1077944384 78530 0 0 0 1464 600 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789771160208 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11688] ppid=11679 vsize=13269256 CPUtime=20.73 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11688/stat : 11688 (java) S 11679 11679 7621 0 -1 1077944384 25130 0 0 0 1469 604 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789770107408 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11689] ppid=11679 vsize=13269256 CPUtime=20.38 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11689/stat : 11689 (java) S 11679 11679 7621 0 -1 1077944384 20167 0 0 0 1454 584 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789769054608 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11690] ppid=11679 vsize=13269256 CPUtime=20.39 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11690/stat : 11690 (java) S 11679 11679 7621 0 -1 1077944384 18472 0 0 0 1425 614 0 0 20 0 20 0 4584658 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789768001808 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11691] ppid=11679 vsize=13269256 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11691/stat : 11691 (java) S 11679 11679 7621 0 -1 1077944384 22159 0 0 0 249 2 0 0 20 0 20 0 4584660 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789637490016 139790175730306 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11692] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11692/stat : 11692 (java) R 11679 11679 7621 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4584661 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789636437600 139790175729365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11693] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11693/stat : 11693 (java) S 11679 11679 7621 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 20 0 4584661 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789635384704 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11694] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11694/stat : 11694 (java) S 11679 11679 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4584664 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789634333008 139790175737755 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11695] ppid=11679 vsize=13269256 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11695/stat : 11695 (java) S 11679 11679 7621 0 -1 1077944384 2341 0 0 0 40 0 0 0 20 0 20 0 4584664 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789633280368 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11696] ppid=11679 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11696/stat : 11696 (java) S 11679 11679 7621 0 -1 1077944384 2154 0 0 0 42 0 0 0 20 0 20 0 4584664 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789632227568 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11697] ppid=11679 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11697/stat : 11697 (java) S 11679 11679 7621 0 -1 1077944384 3513 0 0 0 47 0 0 0 20 0 20 0 4584664 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789631174768 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11698] ppid=11679 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11698/stat : 11698 (java) S 11679 11679 7621 0 -1 1077944384 3193 0 0 0 35 1 0 0 20 0 20 0 4584664 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789630121968 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11699] ppid=11679 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11699/stat : 11699 (java) S 11679 11679 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4584665 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789629070432 139790175729365 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
[pid=11680/tid=11700] ppid=11679 vsize=13269256 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/11680/task/11700/stat : 11700 (java) S 11679 11679 7621 0 -1 1077944384 314 0 0 0 11 12 0 0 20 0 20 0 4584665 13587718144 2630145 33554432000 4194304 4196468 140731707497056 139789628017712 139790175730306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11636736 140731707503804 140731707503980 140731707503980 140731707506639 0
Current children cumulated CPU time (s) 514.02
Current children cumulated vsize (KiB) 13278768
Child status: 1
Real time (s): 369.364
CPU time (s): 514.083
CPU user time (s): 465.803
CPU system time (s): 48.2807
CPU usage (%): 139.181
Max. virtual memory (cumulated for all children) (KiB): 13278768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 465.803
system time used= 48.2807
maximum resident set size= 10520944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18156
involuntary context switches= 34318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.61383 second user time and 3.57931 second system time
The end