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-4250045-1500696024/watcher-4250045-1500696024 -o /tmp/evaluation-result-4250045-1500696024/solver-4250045-1500696024 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1480409282 HOME/instance-4250045-1500696024.xml
pid=24093
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: 12.58 14.88 14.90 9/266 24096
/proc/meminfo: memFree=24442184/32770624 swapFree=5900/313020
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 12.58 14.88 14.90 9/266 24096
/proc/meminfo: memFree=24442184/32770624 swapFree=5900/313020
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200396 s]
/proc/loadavg: 12.58 14.88 14.90 9/266 24096
/proc/meminfo: memFree=24442184/32770624 swapFree=5900/313020
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300296 s]
/proc/loadavg: 12.58 14.88 14.90 9/266 24096
/proc/meminfo: memFree=24442184/32770624 swapFree=5900/313020
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700242 s]
/proc/loadavg: 12.58 14.88 14.90 9/266 24096
/proc/meminfo: memFree=24442184/32770624 swapFree=5900/313020
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 12.58 14.88 14.90 13/287 24117
/proc/meminfo: memFree=23483380/32770624 swapFree=5900/313056
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
[pid=24097] ppid=24096 vsize=13269256 CPUtime=5.45 cores=0,2,4,6,8,10,12,14
/proc/24097/stat : 24097 (java) S 24096 24096 16913 0 -1 1077944320 24302 0 0 0 530 15 0 0 20 0 20 0 4869331 13587718144 53477 33554432000 4194304 4196468 140722888706000 140722888688544 139830416441079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
/proc/24097/statm: 3317314 53477 3244 1 0 3304547 0
[pid=24097/tid=24098] ppid=24096 vsize=13269256 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24098/stat : 24098 (java) R 24096 24096 16913 0 -1 4202560 8343 0 0 0 138 6 0 0 20 0 20 0 4869332 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830420677640 139830056764352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24100] ppid=24096 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24100/stat : 24100 (java) S 24096 24096 16913 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830379547664 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24101] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24101/stat : 24101 (java) S 24096 24096 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830014442640 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24102] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24102/stat : 24102 (java) S 24096 24096 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830013389584 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24103] ppid=24096 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24103/stat : 24103 (java) S 24096 24096 16913 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830012337040 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24104] ppid=24096 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24104/stat : 24104 (java) S 24096 24096 16913 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830011283984 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24105] ppid=24096 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24105/stat : 24105 (java) S 24096 24096 16913 0 -1 1077944384 27 0 0 0 0 1 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830010231440 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24106] ppid=24096 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24106/stat : 24106 (java) S 24096 24096 16913 0 -1 1077944384 74 0 0 0 0 1 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830009178384 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24107] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24107/stat : 24107 (java) S 24096 24096 16913 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4869333 13587718144 53477 33554432000 4194304 4196468 140722888706000 139830008125840 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24108] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24108/stat : 24108 (java) S 24096 24096 16913 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 20 0 4869335 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829878704880 139830416452226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24109] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24109/stat : 24109 (java) S 24096 24096 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4869336 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829877651168 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24110] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24110/stat : 24110 (java) S 24096 24096 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4869336 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829876598000 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24111] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24111/stat : 24111 (java) S 24096 24096 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4869340 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829875546576 139830416459675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24112] ppid=24096 vsize=13269256 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24112/stat : 24112 (java) R 24096 24096 16913 0 -1 4202560 3889 0 0 0 106 0 0 0 20 0 20 0 4869340 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829874474696 139830394035862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24113] ppid=24096 vsize=13269256 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24113/stat : 24113 (java) R 24096 24096 16913 0 -1 4202560 4175 0 0 0 101 0 0 0 20 0 20 0 4869340 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829873427016 139830400831168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24114] ppid=24096 vsize=13269256 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24114/stat : 24114 (java) R 24096 24096 16913 0 -1 4202560 3426 0 0 0 108 0 0 0 20 0 20 0 4869340 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829872373960 139830393988909 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24115] ppid=24096 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24115/stat : 24115 (java) S 24096 24096 16913 0 -1 1077944384 2688 0 0 0 66 0 0 0 20 0 20 0 4869340 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829871335536 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24116] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24116/stat : 24116 (java) S 24096 24096 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4869340 13587718144 53477 33554432000 4194304 4196468 140722888706000 139829870283744 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24117] ppid=24096 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24117/stat : 24117 (java) S 24096 24096 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4869340 13587718144 53518 33554432000 4194304 4196468 140722888706000 139829869231280 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 13278768
[startup+3.10113 s]
/proc/loadavg: 11.97 14.71 14.85 12/287 24117
/proc/meminfo: memFree=22819656/32770624 swapFree=5900/313056
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
[pid=24097] ppid=24096 vsize=13801768 CPUtime=15.1 cores=0,2,4,6,8,10,12,14
/proc/24097/stat : 24097 (java) S 24096 24096 16913 0 -1 1077944320 31858 0 0 0 1407 103 0 0 20 0 28 0 4869331 14133010432 136372 33554432000 4194304 4196468 140722888706000 140722888688544 139830416441079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
/proc/24097/statm: 3450442 136372 3265 1 0 3437675 0
[pid=24097/tid=24098] ppid=24096 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24098/stat : 24098 (java) S 24096 24096 16913 0 -1 1077944384 9318 0 0 0 195 7 0 0 20 0 28 0 4869332 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830420681856 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24100] ppid=24096 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24100/stat : 24100 (java) S 24096 24096 16913 0 -1 1077944384 141 0 0 0 12 11 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830379547664 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24101] ppid=24096 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24101/stat : 24101 (java) S 24096 24096 16913 0 -1 1077944384 142 0 0 0 13 11 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830014442640 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24102] ppid=24096 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24102/stat : 24102 (java) S 24096 24096 16913 0 -1 1077944384 130 0 0 0 10 10 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830013389584 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24103] ppid=24096 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24103/stat : 24103 (java) S 24096 24096 16913 0 -1 1077944384 137 0 0 0 12 11 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830012337040 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24104] ppid=24096 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24104/stat : 24104 (java) S 24096 24096 16913 0 -1 1077944384 167 0 0 0 14 11 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830011283984 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24105] ppid=24096 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24105/stat : 24105 (java) S 24096 24096 16913 0 -1 1077944384 183 0 0 0 13 11 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830010231440 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24106] ppid=24096 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24106/stat : 24106 (java) S 24096 24096 16913 0 -1 1077944384 178 0 0 0 11 11 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830009178384 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24107] ppid=24096 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24107/stat : 24107 (java) S 24096 24096 16913 0 -1 1077944384 154 0 0 0 12 11 0 0 20 0 28 0 4869333 14133010432 136372 33554432000 4194304 4196468 140722888706000 139830008125840 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24108] ppid=24096 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24108/stat : 24108 (java) S 24096 24096 16913 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 28 0 4869335 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829878704880 139830416452226 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24109] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24109/stat : 24109 (java) S 24096 24096 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829877651168 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24110] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24110/stat : 24110 (java) S 24096 24096 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829876598016 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24111] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24111/stat : 24111 (java) S 24096 24096 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829875546576 139830416459675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24112] ppid=24096 vsize=13801768 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24112/stat : 24112 (java) R 24096 24096 16913 0 -1 4202560 5262 0 0 0 210 0 0 0 20 0 28 0 4869340 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829874474696 139830399972562 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24113] ppid=24096 vsize=13801768 CPUtime=2.06 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24113/stat : 24113 (java) R 24096 24096 16913 0 -1 4202560 5373 0 0 0 205 1 0 0 20 0 28 0 4869340 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829873427104 139830397630750 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24114] ppid=24096 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24114/stat : 24114 (java) R 24096 24096 16913 0 -1 4202560 4625 0 0 0 196 1 0 0 20 0 28 0 4869340 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829872374544 139830397985360 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24115] ppid=24096 vsize=13801768 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24115/stat : 24115 (java) S 24096 24096 16913 0 -1 1077944384 3690 0 0 0 93 1 0 0 20 0 28 0 4869340 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829871335536 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24116] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24116/stat : 24116 (java) S 24096 24096 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829870283744 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24117] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24117/stat : 24117 (java) S 24096 24096 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 136372 33554432000 4194304 4196468 140722888706000 139829869231280 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
Current children cumulated CPU time (s) 15.1
Current children cumulated vsize (KiB) 13811280
[startup+6.30219 s]
/proc/loadavg: 11.97 14.71 14.85 17/295 24125
/proc/meminfo: memFree=20566360/32770624 swapFree=5900/313068
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
[pid=24097] ppid=24096 vsize=13801768 CPUtime=40.52 cores=0,2,4,6,8,10,12,14
/proc/24097/stat : 24097 (java) S 24096 24096 16913 0 -1 1077944320 39268 0 0 0 3947 105 0 0 20 0 28 0 4869331 14133010432 136823 33554432000 4194304 4196468 140722888706000 140722888688544 139830416441079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
/proc/24097/statm: 3450442 136823 3284 1 0 3437675 0
[pid=24097/tid=24098] ppid=24096 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24098/stat : 24098 (java) S 24096 24096 16913 0 -1 1077944384 9318 0 0 0 195 7 0 0 20 0 28 0 4869332 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830420681856 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24100] ppid=24096 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24100/stat : 24100 (java) S 24096 24096 16913 0 -1 1077944384 141 0 0 0 12 11 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830379547664 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24101] ppid=24096 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24101/stat : 24101 (java) S 24096 24096 16913 0 -1 1077944384 142 0 0 0 13 11 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830014442640 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24102] ppid=24096 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24102/stat : 24102 (java) S 24096 24096 16913 0 -1 1077944384 130 0 0 0 10 10 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830013389584 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24103] ppid=24096 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24103/stat : 24103 (java) S 24096 24096 16913 0 -1 1077944384 137 0 0 0 12 11 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830012337040 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24104] ppid=24096 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24104/stat : 24104 (java) S 24096 24096 16913 0 -1 1077944384 167 0 0 0 14 11 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830011283984 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24105] ppid=24096 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24105/stat : 24105 (java) S 24096 24096 16913 0 -1 1077944384 183 0 0 0 13 11 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830010231440 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24106] ppid=24096 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24106/stat : 24106 (java) S 24096 24096 16913 0 -1 1077944384 178 0 0 0 11 11 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830009178384 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24107] ppid=24096 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24107/stat : 24107 (java) S 24096 24096 16913 0 -1 1077944384 154 0 0 0 12 11 0 0 20 0 28 0 4869333 14133010432 136823 33554432000 4194304 4196468 140722888706000 139830008125840 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24108] ppid=24096 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24108/stat : 24108 (java) S 24096 24096 16913 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 28 0 4869335 14133010432 136823 33554432000 4194304 4196468 140722888706000 139829878704880 139830416452226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24109] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24109/stat : 24109 (java) S 24096 24096 16913 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 136823 33554432000 4194304 4196468 140722888706000 139829877651168 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24110] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24110/stat : 24110 (java) S 24096 24096 16913 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 136823 33554432000 4194304 4196468 140722888706000 139829876598016 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24111] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24111/stat : 24111 (java) S 24096 24096 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 136823 33554432000 4194304 4196468 140722888706000 139829875546576 139830416459675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
################
# More data... #
################
/proc/24097/task/24116/stat : 24116 (java) S 24096 24096 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829870283744 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24117] ppid=24096 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24117/stat : 24117 (java) S 24096 24096 16913 0 -1 1077944384 1121 0 0 0 1 1 0 0 20 0 28 0 4869340 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829869231280 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24118] ppid=24096 vsize=13801768 CPUtime=36.43 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24118/stat : 24118 (java) R 24096 24096 16913 0 -1 4202560 680 0 0 0 3643 0 0 0 20 0 28 0 4869552 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829861215336 139830063327537 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24119] ppid=24096 vsize=13801768 CPUtime=36.12 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24119/stat : 24119 (java) R 24096 24096 16913 0 -1 4202560 1120 0 0 0 3612 0 0 0 20 0 28 0 4869553 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829860164288 139830060953748 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24120] ppid=24096 vsize=13801768 CPUtime=36.06 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24120/stat : 24120 (java) R 24096 24096 16913 0 -1 4202560 1163 0 0 0 3604 2 0 0 20 0 28 0 4869553 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829859110968 139830060953604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24121] ppid=24096 vsize=13801768 CPUtime=36.18 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24121/stat : 24121 (java) R 24096 24096 16913 0 -1 4202560 789 0 0 0 3617 1 0 0 20 0 28 0 4869553 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829858058504 139830062112903 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24122] ppid=24096 vsize=13801768 CPUtime=35.97 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24122/stat : 24122 (java) R 24096 24096 16913 0 -1 4202560 548 0 0 0 3597 0 0 0 20 0 28 0 4869553 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829857005224 139830061955064 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24123] ppid=24096 vsize=13801768 CPUtime=36.15 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24123/stat : 24123 (java) R 24096 24096 16913 0 -1 4202560 1643 0 0 0 3613 2 0 0 20 0 28 0 4869553 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829855952904 139830062614197 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24124] ppid=24096 vsize=13801768 CPUtime=36.04 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24124/stat : 24124 (java) R 24096 24096 16913 0 -1 4202560 898 0 0 0 3604 0 0 0 20 0 28 0 4869553 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829854900792 139830052858769 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24125] ppid=24096 vsize=13801768 CPUtime=36.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24125/stat : 24125 (java) R 24096 24096 16913 0 -1 4202560 1010 0 0 0 3632 2 0 0 20 0 28 0 4869553 14133010432 229441 33554432000 4194304 4196468 140722888706000 139829853848168 139830060953008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
Current children cumulated CPU time (s) 308.51
Current children cumulated vsize (KiB) 13811280
[startup+40.815 s]
/proc/loadavg: 13.10 14.67 14.83 17/304 24336
/proc/meminfo: memFree=29593248/32770624 swapFree=5900/313204
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
[pid=24097] ppid=24096 vsize=13801768 CPUtime=314.98 cores=0,2,4,6,8,10,12,14
/proc/24097/stat : 24097 (java) S 24096 24096 16913 0 -1 1077944320 66789 0 0 0 31343 155 0 0 20 0 28 0 4869331 14133010432 240705 33554432000 4194304 4196468 140722888706000 140722888688544 139830416441079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
/proc/24097/statm: 3450442 240705 3290 1 0 3437675 0
[pid=24097/tid=24098] ppid=24096 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24098/stat : 24098 (java) S 24096 24096 16913 0 -1 1077944384 9318 0 0 0 195 7 0 0 20 0 28 0 4869332 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830420681856 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24100] ppid=24096 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24100/stat : 24100 (java) S 24096 24096 16913 0 -1 1077944384 182 0 0 0 19 15 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830379547664 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24101] ppid=24096 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24101/stat : 24101 (java) S 24096 24096 16913 0 -1 1077944384 215 0 0 0 20 15 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830014442640 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24102] ppid=24096 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24102/stat : 24102 (java) S 24096 24096 16913 0 -1 1077944384 316 0 0 0 16 14 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830013389584 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24103] ppid=24096 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24103/stat : 24103 (java) S 24096 24096 16913 0 -1 1077944384 180 0 0 0 19 15 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830012337040 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24104] ppid=24096 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24104/stat : 24104 (java) S 24096 24096 16913 0 -1 1077944384 221 0 0 0 21 14 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830011283984 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24105] ppid=24096 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24105/stat : 24105 (java) S 24096 24096 16913 0 -1 1077944384 534 0 0 0 19 15 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830010231440 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24106] ppid=24096 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24106/stat : 24106 (java) S 24096 24096 16913 0 -1 1077944384 224 0 0 0 18 14 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830009178384 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24107] ppid=24096 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24107/stat : 24107 (java) S 24096 24096 16913 0 -1 1077944384 243 0 0 0 19 14 0 0 20 0 28 0 4869333 14133010432 240705 33554432000 4194304 4196468 140722888706000 139830008125840 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24108] ppid=24096 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24108/stat : 24108 (java) S 24096 24096 16913 0 -1 1077944384 1253 0 0 0 3 2 0 0 20 0 28 0 4869335 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829878704880 139830416452226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24109] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24109/stat : 24109 (java) S 24096 24096 16913 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829877651168 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24110] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24110/stat : 24110 (java) S 24096 24096 16913 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829876598016 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24111] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24111/stat : 24111 (java) S 24096 24096 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829875546576 139830416459675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24112] ppid=24096 vsize=13801768 CPUtime=4.72 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24112/stat : 24112 (java) S 24096 24096 16913 0 -1 1077944384 13480 0 0 0 470 2 0 0 20 0 28 0 4869340 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829874493680 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24113] ppid=24096 vsize=13801768 CPUtime=4.29 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24113/stat : 24113 (java) S 24096 24096 16913 0 -1 1077944384 10876 0 0 0 427 2 0 0 20 0 28 0 4869340 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829873441136 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24114] ppid=24096 vsize=13801768 CPUtime=3.93 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24114/stat : 24114 (java) S 24096 24096 16913 0 -1 1077944384 10102 0 0 0 391 2 0 0 20 0 28 0 4869340 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829872388080 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24115] ppid=24096 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24115/stat : 24115 (java) S 24096 24096 16913 0 -1 1077944384 9254 0 0 0 127 2 0 0 20 0 28 0 4869340 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829871335536 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24116] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24116/stat : 24116 (java) S 24096 24096 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829870283744 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24117] ppid=24096 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24117/stat : 24117 (java) S 24096 24096 16913 0 -1 1077944384 1122 0 0 0 1 1 0 0 20 0 28 0 4869340 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829869231280 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24118] ppid=24096 vsize=13801768 CPUtime=37.24 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24118/stat : 24118 (java) R 24096 24096 16913 0 -1 4202560 681 0 0 0 3724 0 0 0 20 0 28 0 4869552 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829861215336 139830061955064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24119] ppid=24096 vsize=13801768 CPUtime=36.93 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24119/stat : 24119 (java) R 24096 24096 16913 0 -1 4202560 1120 0 0 0 3693 0 0 0 20 0 28 0 4869553 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829860164288 139830061956613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24120] ppid=24096 vsize=13801768 CPUtime=36.87 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24120/stat : 24120 (java) R 24096 24096 16913 0 -1 4202560 1171 0 0 0 3685 2 0 0 20 0 28 0 4869553 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829859110968 139830061189832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24121] ppid=24096 vsize=13801768 CPUtime=36.99 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24121/stat : 24121 (java) R 24096 24096 16913 0 -1 4202560 810 0 0 0 3697 2 0 0 20 0 28 0 4869553 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829858058504 139830062112903 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24122] ppid=24096 vsize=13801768 CPUtime=36.76 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24122/stat : 24122 (java) R 24096 24096 16913 0 -1 4202560 548 0 0 0 3676 0 0 0 20 0 28 0 4869553 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829857005224 139830060953604 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24123] ppid=24096 vsize=13801768 CPUtime=36.95 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24123/stat : 24123 (java) R 24096 24096 16913 0 -1 4202560 1654 0 0 0 3693 2 0 0 20 0 28 0 4869553 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829855952904 139830060953748 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24124] ppid=24096 vsize=13801768 CPUtime=36.86 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24124/stat : 24124 (java) R 24096 24096 16913 0 -1 4202560 898 0 0 0 3686 0 0 0 20 0 28 0 4869553 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829854900792 139830060953040 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24125] ppid=24096 vsize=13801768 CPUtime=37.15 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24125/stat : 24125 (java) R 24096 24096 16913 0 -1 4202560 1019 0 0 0 3713 2 0 0 20 0 28 0 4869553 14133010432 240705 33554432000 4194304 4196468 140722888706000 139829853848168 139830055399743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
Current children cumulated CPU time (s) 314.98
Current children cumulated vsize (KiB) 13811280
[startup+41.2015 s]
/proc/loadavg: 13.10 14.67 14.83 17/304 24336
/proc/meminfo: memFree=29593248/32770624 swapFree=5900/313204
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
[pid=24097] ppid=24096 vsize=13801768 CPUtime=318.06 cores=0,2,4,6,8,10,12,14
/proc/24097/stat : 24097 (java) S 24096 24096 16913 0 -1 1077944320 66795 0 0 0 31651 155 0 0 20 0 28 0 4869331 14133010432 242241 33554432000 4194304 4196468 140722888706000 140722888688544 139830416441079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
/proc/24097/statm: 3450442 242241 3290 1 0 3437675 0
[pid=24097/tid=24098] ppid=24096 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24098/stat : 24098 (java) S 24096 24096 16913 0 -1 1077944384 9318 0 0 0 195 7 0 0 20 0 28 0 4869332 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830420681856 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24100] ppid=24096 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24100/stat : 24100 (java) S 24096 24096 16913 0 -1 1077944384 182 0 0 0 19 15 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830379547664 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24101] ppid=24096 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24101/stat : 24101 (java) S 24096 24096 16913 0 -1 1077944384 215 0 0 0 20 15 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830014442640 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24102] ppid=24096 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24102/stat : 24102 (java) S 24096 24096 16913 0 -1 1077944384 316 0 0 0 16 14 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830013389584 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24103] ppid=24096 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24103/stat : 24103 (java) S 24096 24096 16913 0 -1 1077944384 180 0 0 0 19 15 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830012337040 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24104] ppid=24096 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24104/stat : 24104 (java) S 24096 24096 16913 0 -1 1077944384 221 0 0 0 21 14 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830011283984 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24105] ppid=24096 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24105/stat : 24105 (java) S 24096 24096 16913 0 -1 1077944384 534 0 0 0 19 15 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830010231440 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24106] ppid=24096 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24106/stat : 24106 (java) S 24096 24096 16913 0 -1 1077944384 224 0 0 0 18 14 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830009178384 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24107] ppid=24096 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24107/stat : 24107 (java) S 24096 24096 16913 0 -1 1077944384 243 0 0 0 19 14 0 0 20 0 28 0 4869333 14133010432 242241 33554432000 4194304 4196468 140722888706000 139830008125840 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24108] ppid=24096 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24108/stat : 24108 (java) S 24096 24096 16913 0 -1 1077944384 1253 0 0 0 3 2 0 0 20 0 28 0 4869335 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829878704880 139830416452226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24109] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24109/stat : 24109 (java) S 24096 24096 16913 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829877651168 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24110] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24110/stat : 24110 (java) S 24096 24096 16913 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4869336 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829876598016 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24111] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24111/stat : 24111 (java) S 24096 24096 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829875546576 139830416459675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24112] ppid=24096 vsize=13801768 CPUtime=4.72 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24112/stat : 24112 (java) S 24096 24096 16913 0 -1 1077944384 13480 0 0 0 470 2 0 0 20 0 28 0 4869340 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829874493680 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24113] ppid=24096 vsize=13801768 CPUtime=4.29 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24113/stat : 24113 (java) S 24096 24096 16913 0 -1 1077944384 10876 0 0 0 427 2 0 0 20 0 28 0 4869340 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829873441136 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24114] ppid=24096 vsize=13801768 CPUtime=3.93 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24114/stat : 24114 (java) S 24096 24096 16913 0 -1 1077944384 10102 0 0 0 391 2 0 0 20 0 28 0 4869340 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829872388080 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24115] ppid=24096 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24115/stat : 24115 (java) S 24096 24096 16913 0 -1 1077944384 9254 0 0 0 127 2 0 0 20 0 28 0 4869340 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829871335536 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24116] ppid=24096 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24116/stat : 24116 (java) S 24096 24096 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4869340 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829870283744 139830416451285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24117] ppid=24096 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24117/stat : 24117 (java) S 24096 24096 16913 0 -1 1077944384 1122 0 0 0 1 1 0 0 20 0 28 0 4869340 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829869231280 139830416452226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24118] ppid=24096 vsize=13801768 CPUtime=37.62 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24118/stat : 24118 (java) R 24096 24096 16913 0 -1 4202560 682 0 0 0 3762 0 0 0 20 0 28 0 4869552 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829861215336 139830061189832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24119] ppid=24096 vsize=13801768 CPUtime=37.32 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24119/stat : 24119 (java) R 24096 24096 16913 0 -1 4202560 1120 0 0 0 3732 0 0 0 20 0 28 0 4869553 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829860164288 139830061339682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24120] ppid=24096 vsize=13801768 CPUtime=37.26 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24120/stat : 24120 (java) R 24096 24096 16913 0 -1 4202560 1171 0 0 0 3724 2 0 0 20 0 28 0 4869553 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829859110968 139830061876234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24121] ppid=24096 vsize=13801768 CPUtime=37.38 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24121/stat : 24121 (java) R 24096 24096 16913 0 -1 4202560 811 0 0 0 3736 2 0 0 20 0 28 0 4869553 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829858058504 139830061190604 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24122] ppid=24096 vsize=13801768 CPUtime=37.14 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24122/stat : 24122 (java) R 24096 24096 16913 0 -1 4202560 548 0 0 0 3714 0 0 0 20 0 28 0 4869553 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829857005224 139830061189929 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24123] ppid=24096 vsize=13801768 CPUtime=37.34 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24123/stat : 24123 (java) R 24096 24096 16913 0 -1 4202560 1658 0 0 0 3732 2 0 0 20 0 28 0 4869553 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829855952904 139830061451647 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24124] ppid=24096 vsize=13801768 CPUtime=37.24 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24124/stat : 24124 (java) R 24096 24096 16913 0 -1 4202560 898 0 0 0 3724 0 0 0 20 0 28 0 4869553 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829854900792 139830061189975 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
[pid=24097/tid=24125] ppid=24096 vsize=13801768 CPUtime=37.54 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24125/stat : 24125 (java) R 24096 24096 16913 0 -1 4202560 1019 0 0 0 3752 2 0 0 20 0 28 0 4869553 14133010432 242241 33554432000 4194304 4196468 140722888706000 139829853848168 139830061956635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17801216 140722888709308 140722888709484 140722888709484 140722888712143 0
Current children cumulated CPU time (s) 318.06
Current children cumulated vsize (KiB) 13811280
[startup+41.6016 s]
/proc/loadavg: 13.10 14.67 14.83 17/304 24336
/proc/meminfo: memFree=29593248/32770624 swapFree=5900/313204
[pid=24096] ppid=24093 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24096/stat : 24096 (xcsp3-exec) S 24093 24096 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4869331 9740288 345 33554432000 4194304 5098028 140723334860128 140723334858232 139764818150012 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 25915392 140723334861966 140723334862176 140723334862176 140723334864875 0
/proc/24096/statm: 2378 345 289 221 0 87 0
[pid=24097] ppid=24096 vsize=0 CPUtime=321.09 cores=0,2,4,6,8,10,12,14
/proc/24097/stat : 24097 (java) Z 24096 24096 16913 0 -1 4227084 68158 0 0 0 31952 157 0 0 20 0 2 0 4869331 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/24097/statm: 0 0 0 0 0 0 0
[pid=24097/tid=24105] ppid=24096 vsize=0 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/24097/task/24105/stat : 24105 (java) R 24096 24096 16913 0 -1 4203588 535 0 0 0 19 16 0 0 20 0 2 0 4869333 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 321.09
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 41.6063
CPU time (s): 321.103
CPU user time (s): 319.524
CPU system time (s): 1.57897
CPU usage (%): 771.766
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.524
system time used= 1.57897
maximum resident set size= 987068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68685
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6321
involuntary context switches= 24398
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.50278 second user time and 0.62249 second system time
The end