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-4249117-1500693852/watcher-4249117-1500693852 -o /tmp/evaluation-result-4249117-1500693852/solver-4249117-1500693852 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 784491107 HOME/instance-4249117-1500693852.xml
pid=14132
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.99 10.73 12.73 10/271 14135
/proc/meminfo: memFree=28115196/32770624 swapFree=5804/267184
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
[startup+0.100069 s]
/proc/loadavg: 9.99 10.73 12.73 10/271 14135
/proc/meminfo: memFree=28115196/32770624 swapFree=5804/267184
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200289 s]
/proc/loadavg: 9.99 10.73 12.73 10/271 14135
/proc/meminfo: memFree=28115196/32770624 swapFree=5804/267184
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30028 s]
/proc/loadavg: 9.99 10.73 12.73 10/271 14135
/proc/meminfo: memFree=28115196/32770624 swapFree=5804/267184
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700167 s]
/proc/loadavg: 9.99 10.73 12.73 10/271 14135
/proc/meminfo: memFree=28115196/32770624 swapFree=5804/267184
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50114 s]
/proc/loadavg: 9.99 10.73 12.73 21/300 14243
/proc/meminfo: memFree=27947196/32770624 swapFree=5804/267212
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
[pid=14136] ppid=14135 vsize=13868332 CPUtime=7.76 cores=0,2,4,6,8,10,12,14
/proc/14136/stat : 14136 (java) S 14135 14135 14782 0 -1 1077944320 17783 0 0 0 763 13 0 0 20 0 28 0 4651512 14201171968 46781 33554432000 4194304 4196468 140721169664336 140721169646880 140229669433079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
/proc/14136/statm: 3467083 46781 3246 1 0 3454316 0
[pid=14136/tid=14137] ppid=14135 vsize=13868332 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14137/stat : 14137 (java) S 14135 14135 14782 0 -1 1077944384 6805 0 0 0 69 4 0 0 20 0 28 0 4651512 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229673673856 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14139] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14139/stat : 14139 (java) S 14135 14135 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229622054032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14140] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14140/stat : 14140 (java) S 14135 14135 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229621001232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14141] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14141/stat : 14141 (java) S 14135 14135 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229619948432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14142] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14142/stat : 14142 (java) S 14135 14135 14782 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229618895632 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14143] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14143/stat : 14143 (java) S 14135 14135 14782 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229617842832 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14144] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14144/stat : 14144 (java) S 14135 14135 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229616790032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14145] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14145/stat : 14145 (java) S 14135 14135 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229615737232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14146] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14146/stat : 14146 (java) S 14135 14135 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229614684432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14147] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14147/stat : 14147 (java) S 14135 14135 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4651516 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229131336560 140229669444226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14148] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14148/stat : 14148 (java) S 14135 14135 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4651516 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229130282528 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14149] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14149/stat : 14149 (java) S 14135 14135 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4651517 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229129229680 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14150] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14150/stat : 14150 (java) S 14135 14135 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229128178000 140229669451675 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14151] ppid=14135 vsize=13868332 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14151/stat : 14151 (java) R 14135 14135 14782 0 -1 4202560 2231 0 0 0 86 0 0 0 20 0 28 0 4651521 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229127111384 140229654557816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14152] ppid=14135 vsize=13868332 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14152/stat : 14152 (java) R 14135 14135 14782 0 -1 4202560 1289 0 0 0 77 0 0 0 20 0 28 0 4651521 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229126062368 140229650799287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14153] ppid=14135 vsize=13868332 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14153/stat : 14153 (java) R 14135 14135 14782 0 -1 4202560 1660 0 0 0 81 0 0 0 20 0 28 0 4651521 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229125006048 140229655473443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14154] ppid=14135 vsize=13868332 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14154/stat : 14154 (java) S 14135 14135 14782 0 -1 1077944384 2419 0 0 0 70 0 0 0 20 0 28 0 4651521 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229123966960 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14155] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14155/stat : 14155 (java) S 14135 14135 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229122915424 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14156] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14156/stat : 14156 (java) S 14135 14135 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 46781 33554432000 4194304 4196468 140721169664336 140229121862704 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 13877844
[startup+3.10209 s]
/proc/loadavg: 9.99 10.73 12.73 19/300 14251
/proc/meminfo: memFree=27947184/32770624 swapFree=5804/267212
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
[pid=14136] ppid=14135 vsize=13868332 CPUtime=20.38 cores=0,2,4,6,8,10,12,14
/proc/14136/stat : 14136 (java) S 14135 14135 14782 0 -1 1077944320 18415 0 0 0 2021 17 0 0 20 0 28 0 4651512 14201171968 52328 33554432000 4194304 4196468 140721169664336 140721169646880 140229669433079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
/proc/14136/statm: 3467083 52328 3255 1 0 3454316 0
[pid=14136/tid=14137] ppid=14135 vsize=13868332 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14137/stat : 14137 (java) S 14135 14135 14782 0 -1 1077944384 6805 0 0 0 69 4 0 0 20 0 28 0 4651512 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229673673856 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14139] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14139/stat : 14139 (java) S 14135 14135 14782 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229622054032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14140] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14140/stat : 14140 (java) S 14135 14135 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229621001232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14141] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14141/stat : 14141 (java) S 14135 14135 14782 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229619948432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14142] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14142/stat : 14142 (java) S 14135 14135 14782 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229618895632 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14143] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14143/stat : 14143 (java) S 14135 14135 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229617842832 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14144] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14144/stat : 14144 (java) S 14135 14135 14782 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229616790032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14145] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14145/stat : 14145 (java) S 14135 14135 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229615737232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14146] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14146/stat : 14146 (java) S 14135 14135 14782 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4651513 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229614684432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14147] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14147/stat : 14147 (java) S 14135 14135 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4651516 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229131336560 140229669444226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14148] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14148/stat : 14148 (java) S 14135 14135 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4651516 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229130282592 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14149] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14149/stat : 14149 (java) S 14135 14135 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4651517 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229129229680 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14150] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14150/stat : 14150 (java) S 14135 14135 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229128178000 140229669451675 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14151] ppid=14135 vsize=13868332 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14151/stat : 14151 (java) S 14135 14135 14782 0 -1 1077944384 2595 0 0 0 129 1 0 0 20 0 28 0 4651521 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229127125360 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14152] ppid=14135 vsize=13868332 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14152/stat : 14152 (java) S 14135 14135 14782 0 -1 1077944384 1350 0 0 0 120 0 0 0 20 0 28 0 4651521 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229126072560 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14153] ppid=14135 vsize=13868332 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14153/stat : 14153 (java) S 14135 14135 14782 0 -1 1077944384 1732 0 0 0 134 0 0 0 20 0 28 0 4651521 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229125019760 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14154] ppid=14135 vsize=13868332 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14154/stat : 14154 (java) S 14135 14135 14782 0 -1 1077944384 2499 0 0 0 78 0 0 0 20 0 28 0 4651521 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229123966960 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14155] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14155/stat : 14155 (java) S 14135 14135 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229122915424 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14156] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14156/stat : 14156 (java) S 14135 14135 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229121862704 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14244] ppid=14135 vsize=13868332 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14244/stat : 14244 (java) R 14135 14135 14782 0 -1 4202560 18 0 0 0 163 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229107531800 140229295150827 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14245] ppid=14135 vsize=13868332 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14245/stat : 14245 (java) R 14135 14135 14782 0 -1 4202560 18 0 0 0 149 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229110690856 140229295654236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14246] ppid=14135 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14246/stat : 14246 (java) R 14135 14135 14782 0 -1 4202560 19 0 0 0 167 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229113847760 140229295150288 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14247] ppid=14135 vsize=13868332 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14247/stat : 14247 (java) R 14135 14135 14782 0 -1 4202560 19 0 0 0 161 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229111742536 140229293382982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14248] ppid=14135 vsize=13868332 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14248/stat : 14248 (java) R 14135 14135 14782 0 -1 4202560 18 0 0 0 158 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229109637768 140229294664944 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14249] ppid=14135 vsize=13868332 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14249/stat : 14249 (java) R 14135 14135 14782 0 -1 4202560 19 0 0 0 154 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229112795656 140229294764924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14250] ppid=14135 vsize=13868332 CPUtime=1.62 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14250/stat : 14250 (java) R 14135 14135 14782 0 -1 4202560 21 0 0 0 162 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229106479496 140229295150846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14251] ppid=14135 vsize=13868332 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14251/stat : 14251 (java) R 14135 14135 14782 0 -1 4202560 20 0 0 0 150 0 0 0 20 0 28 0 4651634 14201171968 52328 33554432000 4194304 4196468 140721169664336 140229108588072 140229294665071 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
Current children cumulated CPU time (s) 20.38
Current children cumulated vsize (KiB) 13877844
[startup+6.30157 s]
/proc/loadavg: 10.47 10.82 12.74 17/300 14251
/proc/meminfo: memFree=27938264/32770624 swapFree=5804/267212
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
[pid=14136] ppid=14135 vsize=13868332 CPUtime=45.77 cores=0,2,4,6,8,10,12,14
/proc/14136/stat : 14136 (java) S 14135 14135 14782 0 -1 1077944320 23224 0 0 0 4551 26 0 0 20 0 28 0 4651512 14201171968 54067 33554432000 4194304 4196468 140721169664336 140721169646880 140229669433079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
/proc/14136/statm: 3467083 54067 3267 1 0 3454316 0
[pid=14136/tid=14137] ppid=14135 vsize=13868332 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14137/stat : 14137 (java) S 14135 14135 14782 0 -1 1077944384 6805 0 0 0 69 4 0 0 20 0 28 0 4651512 14201171968 54067 33554432000 4194304 4196468 140721169664336 140229673673856 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14139] ppid=14135 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14139/stat : 14139 (java) S 14135 14135 14782 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 4651513 14201171968 54067 33554432000 4194304 4196468 140721169664336 140229622054032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14140] ppid=14135 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14140/stat : 14140 (java) S 14135 14135 14782 0 -1 1077944384 97 0 0 0 1 1 0 0 20 0 28 0 4651513 14201171968 54067 33554432000 4194304 4196468 140721169664336 140229621001232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14141] ppid=14135 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14141/stat : 14141 (java) S 14135 14135 14782 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 28 0 4651513 14201171968 54067 33554432000 4194304 4196468 140721169664336 140229619948432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14142] ppid=14135 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14142/stat : 14142 (java) S 14135 14135 14782 0 -1 1077944384 117 0 0 0 1 1 0 0 20 0 28 0 4651513 14201171968 54067 33554432000 4194304 4196468 140721169664336 140229618895632 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
################
# More data... #
################
/proc/14136/task/14148/stat : 14148 (java) S 14135 14135 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4651516 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229130282592 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14149] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14149/stat : 14149 (java) S 14135 14135 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4651517 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229129229680 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14150] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14150/stat : 14150 (java) S 14135 14135 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229128178000 140229669451675 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14151] ppid=14135 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14151/stat : 14151 (java) S 14135 14135 14782 0 -1 1077944384 8015 0 0 0 166 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229127125360 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14152] ppid=14135 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14152/stat : 14152 (java) S 14135 14135 14782 0 -1 1077944384 7012 0 0 0 166 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229126072560 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14153] ppid=14135 vsize=13868332 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14153/stat : 14153 (java) S 14135 14135 14782 0 -1 1077944384 8008 0 0 0 189 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229125019760 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14154] ppid=14135 vsize=13868332 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14154/stat : 14154 (java) S 14135 14135 14782 0 -1 1077944384 5531 0 0 0 85 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229123966960 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14155] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14155/stat : 14155 (java) S 14135 14135 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229122915424 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14156] ppid=14135 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14156/stat : 14156 (java) S 14135 14135 14782 0 -1 1077944384 789 0 0 0 2 2 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229121862704 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14253] ppid=14135 vsize=13868332 CPUtime=45.55 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14253/stat : 14253 (java) R 14135 14135 14782 0 -1 4202560 3369 0 0 0 4555 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229110693056 140229296628527 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14254] ppid=14135 vsize=13868332 CPUtime=45.74 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14254/stat : 14254 (java) R 14135 14135 14782 0 -1 4202560 3184 0 0 0 4573 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229109641896 140229296628717 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14255] ppid=14135 vsize=13868332 CPUtime=45.69 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14255/stat : 14255 (java) R 14135 14135 14782 0 -1 4202560 2539 0 0 0 4568 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229112799784 140229295606260 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14256] ppid=14135 vsize=13868332 CPUtime=45.59 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14256/stat : 14256 (java) R 14135 14135 14782 0 -1 4202560 2009 0 0 0 4558 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229107535728 140229295107738 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14257] ppid=14135 vsize=13868332 CPUtime=45.6 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14257/stat : 14257 (java) R 14135 14135 14782 0 -1 4202560 2705 0 0 0 4559 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229106483496 140229295107866 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14258] ppid=14135 vsize=13868332 CPUtime=45.83 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14258/stat : 14258 (java) R 14135 14135 14782 0 -1 4202560 247 0 0 0 4583 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229113848328 140229295654480 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14259] ppid=14135 vsize=13868332 CPUtime=45.47 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14259/stat : 14259 (java) R 14135 14135 14782 0 -1 4202560 4339 0 0 0 4546 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229108587840 140229295653666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14260] ppid=14135 vsize=13868332 CPUtime=45.62 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14260/stat : 14260 (java) R 14135 14135 14782 0 -1 4202560 1056 0 0 0 4562 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229111746992 140229296628346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
Current children cumulated CPU time (s) 807.77
Current children cumulated vsize (KiB) 13877844
[startup+102.601 s]
/proc/loadavg: 14.46 12.14 13.03 17/299 14423
/proc/meminfo: memFree=30704068/32770624 swapFree=5804/267380
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
[pid=14136] ppid=14135 vsize=13868332 CPUtime=809.18 cores=0,2,4,6,8,10,12,14
/proc/14136/stat : 14136 (java) S 14135 14135 14782 0 -1 1077944320 82022 0 0 0 80722 196 0 0 20 0 28 0 4651512 14201171968 220500 33554432000 4194304 4196468 140721169664336 140721169646880 140229669433079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
/proc/14136/statm: 3467083 220500 3270 1 0 3454316 0
[pid=14136/tid=14137] ppid=14135 vsize=13868332 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14137/stat : 14137 (java) S 14135 14135 14782 0 -1 1077944384 6917 0 0 0 69 4 0 0 20 0 28 0 4651512 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229673673856 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14139] ppid=14135 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14139/stat : 14139 (java) S 14135 14135 14782 0 -1 1077944384 1715 0 0 0 35 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229622054032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14140] ppid=14135 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14140/stat : 14140 (java) S 14135 14135 14782 0 -1 1077944384 1278 0 0 0 34 18 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229621001232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14141] ppid=14135 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14141/stat : 14141 (java) S 14135 14135 14782 0 -1 1077944384 1130 0 0 0 35 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229619948432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14142] ppid=14135 vsize=13868332 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14142/stat : 14142 (java) S 14135 14135 14782 0 -1 1077944384 779 0 0 0 36 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229618895632 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14143] ppid=14135 vsize=13868332 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14143/stat : 14143 (java) S 14135 14135 14782 0 -1 1077944384 1648 0 0 0 36 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229617842832 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14144] ppid=14135 vsize=13868332 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14144/stat : 14144 (java) S 14135 14135 14782 0 -1 1077944384 999 0 0 0 35 19 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229616790032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14145] ppid=14135 vsize=13868332 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14145/stat : 14145 (java) S 14135 14135 14782 0 -1 1077944384 1776 0 0 0 35 20 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229615737232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14146] ppid=14135 vsize=13868332 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14146/stat : 14146 (java) S 14135 14135 14782 0 -1 1077944384 1076 0 0 0 36 19 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229614684432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14147] ppid=14135 vsize=13868332 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14147/stat : 14147 (java) S 14135 14135 14782 0 -1 1077944384 3354 0 0 0 17 17 0 0 20 0 28 0 4651516 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229131336560 140229669444226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14148] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14148/stat : 14148 (java) S 14135 14135 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4651516 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229130282592 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14149] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14149/stat : 14149 (java) S 14135 14135 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4651517 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229129229680 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14150] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14150/stat : 14150 (java) S 14135 14135 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229128178000 140229669451675 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14151] ppid=14135 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14151/stat : 14151 (java) S 14135 14135 14782 0 -1 1077944384 8015 0 0 0 166 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229127125360 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14152] ppid=14135 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14152/stat : 14152 (java) S 14135 14135 14782 0 -1 1077944384 7012 0 0 0 166 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229126072560 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14153] ppid=14135 vsize=13868332 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14153/stat : 14153 (java) S 14135 14135 14782 0 -1 1077944384 8008 0 0 0 189 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229125019760 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14154] ppid=14135 vsize=13868332 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14154/stat : 14154 (java) S 14135 14135 14782 0 -1 1077944384 5531 0 0 0 85 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229123966960 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14155] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14155/stat : 14155 (java) S 14135 14135 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229122915424 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14156] ppid=14135 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14156/stat : 14156 (java) S 14135 14135 14782 0 -1 1077944384 789 0 0 0 2 2 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229121862704 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14253] ppid=14135 vsize=13868332 CPUtime=45.73 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14253/stat : 14253 (java) R 14135 14135 14782 0 -1 4202560 3370 0 0 0 4573 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229110693056 140229296628356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14254] ppid=14135 vsize=13868332 CPUtime=45.91 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14254/stat : 14254 (java) R 14135 14135 14782 0 -1 4202560 3184 0 0 0 4590 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229109641896 140229296628362 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14255] ppid=14135 vsize=13868332 CPUtime=45.86 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14255/stat : 14255 (java) R 14135 14135 14782 0 -1 4202560 2539 0 0 0 4585 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229112799784 140229296628341 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14256] ppid=14135 vsize=13868332 CPUtime=45.76 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14256/stat : 14256 (java) R 14135 14135 14782 0 -1 4202560 2011 0 0 0 4575 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229107536296 140229296628356 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14257] ppid=14135 vsize=13868332 CPUtime=45.78 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14257/stat : 14257 (java) R 14135 14135 14782 0 -1 4202560 2705 0 0 0 4577 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229106483496 140229295150854 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14258] ppid=14135 vsize=13868332 CPUtime=46.01 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14258/stat : 14258 (java) R 14135 14135 14782 0 -1 4202560 247 0 0 0 4601 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229113852072 140229294764904 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14259] ppid=14135 vsize=13868332 CPUtime=45.64 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14259/stat : 14259 (java) R 14135 14135 14782 0 -1 4202560 4340 0 0 0 4563 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229108588016 140229295150076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14260] ppid=14135 vsize=13868332 CPUtime=45.8 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14260/stat : 14260 (java) R 14135 14135 14782 0 -1 4202560 1056 0 0 0 4580 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229111747496 140229296628289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
Current children cumulated CPU time (s) 809.18
Current children cumulated vsize (KiB) 13877844
[startup+102.701 s]
/proc/loadavg: 14.46 12.14 13.03 17/299 14423
/proc/meminfo: memFree=30704068/32770624 swapFree=5804/267380
[pid=14135] ppid=14132 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14135/stat : 14135 (xcsp3-exec) S 14132 14135 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4651512 9740288 346 33554432000 4194304 5098028 140734625898400 140734625896504 140642528100988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10428416 140734625903759 140734625903968 140734625903968 140734625906667 0
/proc/14135/statm: 2378 346 289 221 0 87 0
[pid=14136] ppid=14135 vsize=13868332 CPUtime=809.98 cores=0,2,4,6,8,10,12,14
/proc/14136/stat : 14136 (java) S 14135 14135 14782 0 -1 1077944320 82023 0 0 0 80802 196 0 0 20 0 28 0 4651512 14201171968 220500 33554432000 4194304 4196468 140721169664336 140721169646880 140229669433079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
/proc/14136/statm: 3467083 220500 3270 1 0 3454316 0
[pid=14136/tid=14137] ppid=14135 vsize=13868332 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14137/stat : 14137 (java) S 14135 14135 14782 0 -1 1077944384 6917 0 0 0 69 4 0 0 20 0 28 0 4651512 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229673673856 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14139] ppid=14135 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14139/stat : 14139 (java) S 14135 14135 14782 0 -1 1077944384 1715 0 0 0 35 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229622054032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14140] ppid=14135 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14140/stat : 14140 (java) S 14135 14135 14782 0 -1 1077944384 1278 0 0 0 34 18 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229621001232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14141] ppid=14135 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14141/stat : 14141 (java) S 14135 14135 14782 0 -1 1077944384 1130 0 0 0 35 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229619948432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14142] ppid=14135 vsize=13868332 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14142/stat : 14142 (java) S 14135 14135 14782 0 -1 1077944384 779 0 0 0 36 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229618895632 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14143] ppid=14135 vsize=13868332 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14143/stat : 14143 (java) S 14135 14135 14782 0 -1 1077944384 1648 0 0 0 36 17 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229617842832 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14144] ppid=14135 vsize=13868332 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14144/stat : 14144 (java) S 14135 14135 14782 0 -1 1077944384 999 0 0 0 35 19 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229616790032 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14145] ppid=14135 vsize=13868332 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14145/stat : 14145 (java) S 14135 14135 14782 0 -1 1077944384 1776 0 0 0 35 20 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229615737232 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14146] ppid=14135 vsize=13868332 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14146/stat : 14146 (java) S 14135 14135 14782 0 -1 1077944384 1076 0 0 0 36 19 0 0 20 0 28 0 4651513 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229614684432 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14147] ppid=14135 vsize=13868332 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14147/stat : 14147 (java) S 14135 14135 14782 0 -1 1077944384 3354 0 0 0 17 17 0 0 20 0 28 0 4651516 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229131336560 140229669444226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14148] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14148/stat : 14148 (java) S 14135 14135 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4651516 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229130282592 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14149] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14149/stat : 14149 (java) S 14135 14135 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4651517 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229129229680 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14150] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14150/stat : 14150 (java) S 14135 14135 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229128178000 140229669451675 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14151] ppid=14135 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14151/stat : 14151 (java) S 14135 14135 14782 0 -1 1077944384 8015 0 0 0 166 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229127125360 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14152] ppid=14135 vsize=13868332 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14152/stat : 14152 (java) S 14135 14135 14782 0 -1 1077944384 7012 0 0 0 166 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229126072560 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 12 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14153] ppid=14135 vsize=13868332 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14153/stat : 14153 (java) S 14135 14135 14782 0 -1 1077944384 8008 0 0 0 189 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229125019760 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 9 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14154] ppid=14135 vsize=13868332 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14154/stat : 14154 (java) S 14135 14135 14782 0 -1 1077944384 5531 0 0 0 85 1 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229123966960 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14155] ppid=14135 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14155/stat : 14155 (java) S 14135 14135 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229122915424 140229669443285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14156] ppid=14135 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14156/stat : 14156 (java) S 14135 14135 14782 0 -1 1077944384 789 0 0 0 2 2 0 0 20 0 28 0 4651521 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229121862704 140229669444226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14253] ppid=14135 vsize=13868332 CPUtime=45.83 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14253/stat : 14253 (java) R 14135 14135 14782 0 -1 4202560 3370 0 0 0 4583 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229110693056 140229295150666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14254] ppid=14135 vsize=13868332 CPUtime=46.01 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14254/stat : 14254 (java) R 14135 14135 14782 0 -1 4202560 3184 0 0 0 4600 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229109641896 140229654643533 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14255] ppid=14135 vsize=13868332 CPUtime=45.96 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14255/stat : 14255 (java) R 14135 14135 14782 0 -1 4202560 2539 0 0 0 4595 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229112799784 140229295606417 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14256] ppid=14135 vsize=13868332 CPUtime=45.86 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14256/stat : 14256 (java) R 14135 14135 14782 0 -1 4202560 2011 0 0 0 4585 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229107536296 140229294764873 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14257] ppid=14135 vsize=13868332 CPUtime=45.88 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14257/stat : 14257 (java) R 14135 14135 14782 0 -1 4202560 2705 0 0 0 4587 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229106483496 140229295107191 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14258] ppid=14135 vsize=13868332 CPUtime=46.11 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14258/stat : 14258 (java) R 14135 14135 14782 0 -1 4202560 247 0 0 0 4611 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229113852072 140229296628507 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14259] ppid=14135 vsize=13868332 CPUtime=45.74 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14259/stat : 14259 (java) R 14135 14135 14782 0 -1 4202560 4341 0 0 0 4573 1 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229108588016 140229295107842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
[pid=14136/tid=14260] ppid=14135 vsize=13868332 CPUtime=45.9 cores=0,2,4,6,8,10,12,14
/proc/14136/task/14260/stat : 14260 (java) R 14135 14135 14782 0 -1 4202560 1056 0 0 0 4590 0 0 0 20 0 28 0 4657122 14201171968 220500 33554432000 4194304 4196468 140721169664336 140229111747496 140229654643472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36163584 140721169667260 140721169667436 140721169667436 140721169670095 0
Current children cumulated CPU time (s) 809.98
Current children cumulated vsize (KiB) 13877844
Child status: 0
Real time (s): 102.791
CPU time (s): 810.547
CPU user time (s): 808.569
CPU system time (s): 1.97818
CPU usage (%): 788.538
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 808.569
system time used= 1.97818
maximum resident set size= 887644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14962
involuntary context switches= 53866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2526 second user time and 1.45178 second system time
The end