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-4248535-1500692419/watcher-4248535-1500692419 -o /tmp/evaluation-result-4248535-1500692419/solver-4248535-1500692419 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1351744796 HOME/instance-4248535-1500692419.xml
pid=12109
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: 15.54 15.01 13.96 9/273 12112
/proc/meminfo: memFree=29507008/32770624 swapFree=5656/330132
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
[startup+0.100159 s]
/proc/loadavg: 15.54 15.01 13.96 9/273 12112
/proc/meminfo: memFree=29507008/32770624 swapFree=5656/330132
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200268 s]
/proc/loadavg: 15.54 15.01 13.96 9/273 12112
/proc/meminfo: memFree=29507008/32770624 swapFree=5656/330132
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/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: 15.54 15.01 13.96 9/273 12112
/proc/meminfo: memFree=29507008/32770624 swapFree=5656/330132
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700182 s]
/proc/loadavg: 15.54 15.01 13.96 9/273 12112
/proc/meminfo: memFree=29507008/32770624 swapFree=5656/330132
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50152 s]
/proc/loadavg: 15.54 15.01 13.96 20/302 12141
/proc/meminfo: memFree=29315784/32770624 swapFree=5656/330168
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
[pid=12113] ppid=12112 vsize=13801768 CPUtime=6.87 cores=0,2,4,6,8,10,12,14
/proc/12113/stat : 12113 (java) S 12112 12112 7102 0 -1 1077944320 18415 0 0 0 671 16 0 0 20 0 28 0 4509422 14133010432 53662 33554432000 4194304 4196468 140725238434928 140725238417472 140692451299063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
/proc/12113/statm: 3450442 53662 3241 1 0 3437675 0
[pid=12113/tid=12114] ppid=12112 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12114/stat : 12114 (java) S 12112 12112 7102 0 -1 1077944384 6862 0 0 0 96 5 0 0 20 0 28 0 4509422 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692455539840 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12116] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12116/stat : 12116 (java) S 12112 12112 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692403919888 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12117] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12117/stat : 12117 (java) S 12112 12112 7102 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692402867344 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12118] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12118/stat : 12118 (java) S 12112 12112 7102 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692401814288 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12119] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12119/stat : 12119 (java) S 12112 12112 7102 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692400761744 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12120] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12120/stat : 12120 (java) S 12112 12112 7102 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692399708688 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12121] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12121/stat : 12121 (java) S 12112 12112 7102 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692398656144 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12122] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12122/stat : 12122 (java) S 12112 12112 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692397603088 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12123] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12123/stat : 12123 (java) S 12112 12112 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4509423 14133010432 53662 33554432000 4194304 4196468 140725238434928 140692396550544 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12124] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12124/stat : 12124 (java) S 12112 12112 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4509426 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691913009904 140692451310210 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12125] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12125/stat : 12125 (java) S 12112 12112 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4509426 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691911956128 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12126] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12126/stat : 12126 (java) S 12112 12112 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4509427 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691910903024 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12127] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12127/stat : 12127 (java) S 12112 12112 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691909851600 140692451317659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12128] ppid=12112 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12128/stat : 12128 (java) R 12112 12112 7102 0 -1 4202560 2840 0 0 0 90 0 0 0 20 0 28 0 4509431 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691908784800 140692429465544 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12129] ppid=12112 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12129/stat : 12129 (java) R 12112 12112 7102 0 -1 4202560 2557 0 0 0 92 1 0 0 20 0 28 0 4509431 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691907731936 140692430543871 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12130] ppid=12112 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12130/stat : 12130 (java) R 12112 12112 7102 0 -1 4202560 1597 0 0 0 89 0 0 0 20 0 28 0 4509431 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691906679280 140692432842769 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12131] ppid=12112 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12131/stat : 12131 (java) S 12112 12112 7102 0 -1 1077944384 2550 0 0 0 72 0 0 0 20 0 28 0 4509431 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691905640560 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12132] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12132/stat : 12132 (java) S 12112 12112 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691904588768 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12133] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12133/stat : 12133 (java) S 12112 12112 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691903536304 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12134] ppid=12112 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12134/stat : 12134 (java) R 12112 12112 7102 0 -1 4202560 62 0 0 0 30 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691896022088 140692078002252 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12135] ppid=12112 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12135/stat : 12135 (java) R 12112 12112 7102 0 -1 4202560 47 0 0 0 29 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691894968704 140692077936352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12136] ppid=12112 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12136/stat : 12136 (java) R 12112 12112 7102 0 -1 4202560 40 0 0 0 26 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691893915704 140692078204775 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12137] ppid=12112 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12137/stat : 12137 (java) R 12112 12112 7102 0 -1 4202560 77 0 0 0 23 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691892862352 140692077872007 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12138] ppid=12112 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12138/stat : 12138 (java) R 12112 12112 7102 0 -1 4202560 38 0 0 0 26 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691891805432 140692072568281 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12139] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12139/stat : 12139 (java) R 12112 12112 7102 0 -1 4202560 37 0 0 0 27 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691890758024 140692077871743 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12140] ppid=12112 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12140/stat : 12140 (java) R 12112 12112 7102 0 -1 4202560 47 0 0 0 31 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691889705912 140692077937401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12141] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12141/stat : 12141 (java) R 12112 12112 7102 0 -1 4202560 38 0 0 0 27 0 0 0 20 0 28 0 4509529 14133010432 53662 33554432000 4194304 4196468 140725238434928 140691888652088 140692077937401 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 13811280
[startup+3.10154 s]
/proc/loadavg: 15.54 15.01 13.96 15/302 12141
/proc/meminfo: memFree=29289148/32770624 swapFree=5656/330164
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
[pid=12113] ppid=12112 vsize=13801768 CPUtime=19.34 cores=0,2,4,6,8,10,12,14
/proc/12113/stat : 12113 (java) S 12112 12112 7102 0 -1 1077944320 20905 0 0 0 1906 28 0 0 20 0 28 0 4509422 14133010432 66233 33554432000 4194304 4196468 140725238434928 140725238417472 140692451299063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
/proc/12113/statm: 3450442 66233 3270 1 0 3437675 0
[pid=12113/tid=12114] ppid=12112 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12114/stat : 12114 (java) S 12112 12112 7102 0 -1 1077944384 6862 0 0 0 96 5 0 0 20 0 28 0 4509422 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692455539840 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12116] ppid=12112 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12116/stat : 12116 (java) S 12112 12112 7102 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692403919888 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12117] ppid=12112 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12117/stat : 12117 (java) S 12112 12112 7102 0 -1 1077944384 62 0 0 0 1 2 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692402867344 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12118] ppid=12112 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12118/stat : 12118 (java) S 12112 12112 7102 0 -1 1077944384 68 0 0 0 2 2 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692401814288 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12119] ppid=12112 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12119/stat : 12119 (java) S 12112 12112 7102 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692400761744 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12120] ppid=12112 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12120/stat : 12120 (java) S 12112 12112 7102 0 -1 1077944384 63 0 0 0 3 1 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692399708688 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12121] ppid=12112 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12121/stat : 12121 (java) S 12112 12112 7102 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692398656144 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12122] ppid=12112 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12122/stat : 12122 (java) S 12112 12112 7102 0 -1 1077944384 68 0 0 0 2 2 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692397603088 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12123] ppid=12112 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12123/stat : 12123 (java) S 12112 12112 7102 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 4509423 14133010432 66233 33554432000 4194304 4196468 140725238434928 140692396550544 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12124] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12124/stat : 12124 (java) S 12112 12112 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4509426 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691913009904 140692451310210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12125] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12125/stat : 12125 (java) S 12112 12112 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4509426 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691911956192 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12126] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12126/stat : 12126 (java) S 12112 12112 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4509427 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691910903040 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12127] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12127/stat : 12127 (java) S 12112 12112 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691909851600 140692451317659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12128] ppid=12112 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12128/stat : 12128 (java) R 12112 12112 7102 0 -1 4202560 2983 0 0 0 189 1 0 0 20 0 28 0 4509431 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691908784672 140692432823349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12129] ppid=12112 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12129/stat : 12129 (java) R 12112 12112 7102 0 -1 4202560 2781 0 0 0 194 1 0 0 20 0 28 0 4509431 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691907732368 140692432477162 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12130] ppid=12112 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12130/stat : 12130 (java) R 12112 12112 7102 0 -1 4202560 3086 0 0 0 207 1 0 0 20 0 28 0 4509431 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691906683064 140692435202488 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12131] ppid=12112 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12131/stat : 12131 (java) S 12112 12112 7102 0 -1 1077944384 2707 0 0 0 88 1 0 0 20 0 28 0 4509431 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691905640560 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12132] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12132/stat : 12132 (java) S 12112 12112 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691904588768 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12133] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12133/stat : 12133 (java) S 12112 12112 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691903536304 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12134] ppid=12112 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12134/stat : 12134 (java) R 12112 12112 7102 0 -1 4202560 62 0 0 0 130 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691896020632 140692079122599 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12135] ppid=12112 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12135/stat : 12135 (java) R 12112 12112 7102 0 -1 4202560 224 0 0 0 153 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691894968520 140692078563846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12136] ppid=12112 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12136/stat : 12136 (java) R 12112 12112 7102 0 -1 4202560 46 0 0 0 145 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691893916056 140692079202638 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12137] ppid=12112 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12137/stat : 12137 (java) R 12112 12112 7102 0 -1 4202560 109 0 0 0 139 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691892861792 140692079632595 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12138] ppid=12112 vsize=13801768 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12138/stat : 12138 (java) R 12112 12112 7102 0 -1 4202560 74 0 0 0 147 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691891809944 140692079202821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12139] ppid=12112 vsize=13801768 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12139/stat : 12139 (java) R 12112 12112 7102 0 -1 4202560 38 0 0 0 120 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691890757880 140692078563715 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12140] ppid=12112 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12140/stat : 12140 (java) R 12112 12112 7102 0 -1 4202560 72 0 0 0 136 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691889705528 140692078563846 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12141] ppid=12112 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12141/stat : 12141 (java) R 12112 12112 7102 0 -1 4202560 47 0 0 0 138 0 0 0 20 0 28 0 4509529 14133010432 66233 33554432000 4194304 4196468 140725238434928 140691888652528 140692079203355 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
Current children cumulated CPU time (s) 19.34
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 15.41 14.99 13.96 20/302 12141
/proc/meminfo: memFree=29138032/32770624 swapFree=5656/330180
################
# More data... #
################
[pid=12113/tid=12140] ppid=12112 vsize=13801768 CPUtime=278.79 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12140/stat : 12140 (java) R 12112 12112 7102 0 -1 4202560 858 0 0 0 27877 2 0 0 20 0 28 0 4509529 14133010432 237643 33554432000 4194304 4196468 140725238434928 140691889705320 140692079203220 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12141] ppid=12112 vsize=13801768 CPUtime=279.69 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12141/stat : 12141 (java) R 12112 12112 7102 0 -1 4202560 1151 0 0 0 27968 1 0 0 20 0 28 0 4509529 14133010432 237643 33554432000 4194304 4196468 140725238434928 140691888652696 140692079203286 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
Current children cumulated CPU time (s) 2242.62
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.102 s]
/proc/loadavg: 16.03 15.59 14.50 17/300 12263
/proc/meminfo: memFree=30598212/32770624 swapFree=5656/330576
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
[pid=12113] ppid=12112 vsize=13801768 CPUtime=2400.21 cores=0,2,4,6,8,10,12,14
/proc/12113/stat : 12113 (java) S 12112 12112 7102 0 -1 1077944320 59389 0 0 0 239876 145 0 0 20 0 28 0 4509422 14133010432 224175 33554432000 4194304 4196468 140725238434928 140725238417472 140692451299063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
/proc/12113/statm: 3450442 224175 3287 1 0 3437675 0
[pid=12113/tid=12114] ppid=12112 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12114/stat : 12114 (java) S 12112 12112 7102 0 -1 1077944384 6862 0 0 0 96 5 0 0 20 0 28 0 4509422 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692455539840 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12116] ppid=12112 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12116/stat : 12116 (java) S 12112 12112 7102 0 -1 1077944384 985 0 0 0 16 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692403919888 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12117] ppid=12112 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12117/stat : 12117 (java) S 12112 12112 7102 0 -1 1077944384 1650 0 0 0 15 13 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692402867344 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12118] ppid=12112 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12118/stat : 12118 (java) S 12112 12112 7102 0 -1 1077944384 1510 0 0 0 14 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692401814288 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12119] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12119/stat : 12119 (java) S 12112 12112 7102 0 -1 1077944384 1633 0 0 0 15 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692400761744 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12120] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12120/stat : 12120 (java) S 12112 12112 7102 0 -1 1077944384 684 0 0 0 15 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692399708688 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12121] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12121/stat : 12121 (java) S 12112 12112 7102 0 -1 1077944384 415 0 0 0 15 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692398656144 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12122] ppid=12112 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12122/stat : 12122 (java) S 12112 12112 7102 0 -1 1077944384 744 0 0 0 15 13 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692397603088 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12123] ppid=12112 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12123/stat : 12123 (java) S 12112 12112 7102 0 -1 1077944384 532 0 0 0 15 11 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692396550544 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12124] ppid=12112 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12124/stat : 12124 (java) S 12112 12112 7102 0 -1 1077944384 2345 0 0 0 5 5 0 0 20 0 28 0 4509426 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691913009904 140692451310210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12125] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12125/stat : 12125 (java) S 12112 12112 7102 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4509426 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691911956192 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12126] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12126/stat : 12126 (java) S 12112 12112 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4509427 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691910903040 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12127] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12127/stat : 12127 (java) S 12112 12112 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691909851600 140692451317659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12128] ppid=12112 vsize=13801768 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12128/stat : 12128 (java) S 12112 12112 7102 0 -1 1077944384 6954 0 0 0 267 1 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691908798704 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12129] ppid=12112 vsize=13801768 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12129/stat : 12129 (java) S 12112 12112 7102 0 -1 1077944384 8024 0 0 0 288 2 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691907746160 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12130] ppid=12112 vsize=13801768 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12130/stat : 12130 (java) S 12112 12112 7102 0 -1 1077944384 8505 0 0 0 288 2 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691906693104 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12131] ppid=12112 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12131/stat : 12131 (java) S 12112 12112 7102 0 -1 1077944384 4614 0 0 0 98 1 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691905640560 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 13 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12132] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12132/stat : 12132 (java) S 12112 12112 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691904588768 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12133] ppid=12112 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12133/stat : 12133 (java) S 12112 12112 7102 0 -1 1077944384 483 0 0 0 9 5 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691903536304 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12134] ppid=12112 vsize=13801768 CPUtime=297.78 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12134/stat : 12134 (java) R 12112 12112 7102 0 -1 4202560 1116 0 0 0 29777 1 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691896019816 140692079203368 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12135] ppid=12112 vsize=13801768 CPUtime=299.54 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12135/stat : 12135 (java) R 12112 12112 7102 0 -1 4202560 1266 0 0 0 29953 1 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691894969304 140692079203203 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12136] ppid=12112 vsize=13801768 CPUtime=297.8 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12136/stat : 12136 (java) R 12112 12112 7102 0 -1 4202560 2529 0 0 0 29776 4 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691893918336 140692079724272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12137] ppid=12112 vsize=13801768 CPUtime=297.87 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12137/stat : 12137 (java) R 12112 12112 7102 0 -1 4202560 2821 0 0 0 29780 7 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691892862720 140692079724141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12138] ppid=12112 vsize=13801768 CPUtime=298.52 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12138/stat : 12138 (java) R 12112 12112 7102 0 -1 4202560 1752 0 0 0 29850 2 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691891809752 140692078563846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12139] ppid=12112 vsize=13801768 CPUtime=297.84 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12139/stat : 12139 (java) R 12112 12112 7102 0 -1 4202560 617 0 0 0 29784 0 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691890757208 140692078563715 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12140] ppid=12112 vsize=13801768 CPUtime=298.48 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12140/stat : 12140 (java) R 12112 12112 7102 0 -1 4202560 868 0 0 0 29846 2 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691889705432 140692078401476 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12141] ppid=12112 vsize=13801768 CPUtime=299.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12141/stat : 12141 (java) R 12112 12112 7102 0 -1 4202560 1157 0 0 0 29925 1 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691888652888 140692079033493 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
Current children cumulated CPU time (s) 2400.21
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12113 sig 9
??? kill 12112 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.102 s]
/proc/loadavg: 16.03 15.59 14.50 17/300 12263
/proc/meminfo: memFree=30598212/32770624 swapFree=5656/330576
[pid=12112] ppid=12109 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12112/stat : 12112 (xcsp3-exec) S 12109 12112 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4509422 9740288 346 33554432000 4194304 5098028 140724437804256 140724437802360 139909940003452 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10272768 140724437808270 140724437808480 140724437808480 140724437811179 0
/proc/12112/statm: 2378 346 289 221 0 87 0
[pid=12113] ppid=12112 vsize=13801768 CPUtime=2400.21 cores=0,2,4,6,8,10,12,14
/proc/12113/stat : 12113 (java) S 12112 12112 7102 0 -1 1077944320 59389 0 0 0 239876 145 0 0 20 0 28 0 4509422 14133010432 224175 33554432000 4194304 4196468 140725238434928 140725238417472 140692451299063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
/proc/12113/statm: 3450442 224175 3287 1 0 3437675 0
[pid=12113/tid=12114] ppid=12112 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12114/stat : 12114 (java) S 12112 12112 7102 0 -1 1077944384 6862 0 0 0 96 5 0 0 20 0 28 0 4509422 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692455539840 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12116] ppid=12112 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12116/stat : 12116 (java) S 12112 12112 7102 0 -1 1077944384 985 0 0 0 16 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692403919888 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12117] ppid=12112 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12117/stat : 12117 (java) S 12112 12112 7102 0 -1 1077944384 1650 0 0 0 15 13 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692402867344 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12118] ppid=12112 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12118/stat : 12118 (java) S 12112 12112 7102 0 -1 1077944384 1510 0 0 0 14 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692401814288 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12119] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12119/stat : 12119 (java) S 12112 12112 7102 0 -1 1077944384 1633 0 0 0 15 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692400761744 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12120] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12120/stat : 12120 (java) S 12112 12112 7102 0 -1 1077944384 684 0 0 0 15 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692399708688 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12121] ppid=12112 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12121/stat : 12121 (java) S 12112 12112 7102 0 -1 1077944384 415 0 0 0 15 12 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692398656144 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12122] ppid=12112 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12122/stat : 12122 (java) S 12112 12112 7102 0 -1 1077944384 744 0 0 0 15 13 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692397603088 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12123] ppid=12112 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12123/stat : 12123 (java) S 12112 12112 7102 0 -1 1077944384 532 0 0 0 15 11 0 0 20 0 28 0 4509423 14133010432 224175 33554432000 4194304 4196468 140725238434928 140692396550544 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12124] ppid=12112 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12124/stat : 12124 (java) S 12112 12112 7102 0 -1 1077944384 2345 0 0 0 5 5 0 0 20 0 28 0 4509426 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691913009904 140692451310210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12125] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12125/stat : 12125 (java) S 12112 12112 7102 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4509426 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691911956192 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12126] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12126/stat : 12126 (java) S 12112 12112 7102 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4509427 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691910903040 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12127] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12127/stat : 12127 (java) S 12112 12112 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691909851600 140692451317659 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12128] ppid=12112 vsize=13801768 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12128/stat : 12128 (java) S 12112 12112 7102 0 -1 1077944384 6954 0 0 0 267 1 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691908798704 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12129] ppid=12112 vsize=13801768 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12129/stat : 12129 (java) S 12112 12112 7102 0 -1 1077944384 8024 0 0 0 288 2 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691907746160 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12130] ppid=12112 vsize=13801768 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12130/stat : 12130 (java) S 12112 12112 7102 0 -1 1077944384 8505 0 0 0 288 2 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691906693104 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12131] ppid=12112 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12131/stat : 12131 (java) S 12112 12112 7102 0 -1 1077944384 4614 0 0 0 98 1 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691905640560 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 13 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12132] ppid=12112 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12132/stat : 12132 (java) S 12112 12112 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691904588768 140692451309269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12133] ppid=12112 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12133/stat : 12133 (java) S 12112 12112 7102 0 -1 1077944384 483 0 0 0 9 5 0 0 20 0 28 0 4509431 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691903536304 140692451310210 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12134] ppid=12112 vsize=13801768 CPUtime=297.78 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12134/stat : 12134 (java) R 12112 12112 7102 0 -1 4202560 1116 0 0 0 29777 1 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691896019816 140692079203368 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12135] ppid=12112 vsize=13801768 CPUtime=299.54 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12135/stat : 12135 (java) R 12112 12112 7102 0 -1 4202560 1266 0 0 0 29953 1 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691894969304 140692079203203 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12136] ppid=12112 vsize=13801768 CPUtime=297.8 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12136/stat : 12136 (java) R 12112 12112 7102 0 -1 4202560 2529 0 0 0 29776 4 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691893918336 140692079724272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12137] ppid=12112 vsize=13801768 CPUtime=297.87 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12137/stat : 12137 (java) R 12112 12112 7102 0 -1 4202560 2821 0 0 0 29780 7 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691892862720 140692079724141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12138] ppid=12112 vsize=13801768 CPUtime=298.52 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12138/stat : 12138 (java) R 12112 12112 7102 0 -1 4202560 1752 0 0 0 29850 2 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691891809752 140692078563846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12139] ppid=12112 vsize=13801768 CPUtime=297.84 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12139/stat : 12139 (java) R 12112 12112 7102 0 -1 4202560 617 0 0 0 29784 0 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691890757208 140692078563715 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12140] ppid=12112 vsize=13801768 CPUtime=298.48 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12140/stat : 12140 (java) R 12112 12112 7102 0 -1 4202560 868 0 0 0 29846 2 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691889705432 140692078401476 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
[pid=12113/tid=12141] ppid=12112 vsize=13801768 CPUtime=299.26 cores=0,2,4,6,8,10,12,14
/proc/12113/task/12141/stat : 12141 (java) R 12112 12112 7102 0 -1 4202560 1157 0 0 0 29925 1 0 0 20 0 28 0 4509529 14133010432 224175 33554432000 4194304 4196468 140725238434928 140691888652888 140692079033493 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36376576 140725238441148 140725238441324 140725238441324 140725238443983 0
Current children cumulated CPU time (s) 2400.21
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12112 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1582
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1582
# CPU time returned by wait4() is 0.003164
# while last known CPU time is 2400.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.112
CPU time (s): 2400.21
CPU user time (s): 2398.76
CPU system time (s): 1.45
CPU usage (%): 794.476
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001582
system time used= 0.001582
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.72535 second user time and 4.61446 second system time
The end