0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405968-1569415310.xml" -tl '2520s' -p 1
0.12/0.20 c Choco e747e1e
0.12/0.20 c [HOME/instance-4405968-1569415310.xml, -tl, 2520s, -p, 1]
0.34/0.24 c simple solver
0.34/0.31 c parse instance...
1.24/0.66 c solve instance...
2520.06/2511.70 s UNKNOWN
2520.06/2511.70 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16375 MiB (12688 MiB free)
memory of node 1: 16384 MiB (12173 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405968-1569415310/watcher-4405968-1569415310 -o /tmp/evaluation-result-4405968-1569415310/solver-4405968-1569415310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324911091-15159 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1947704155 HOME/instance-4405968-1569415310.xml
running on 4 cores: 0-3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19145, runsolver pid=19142
[startup+0.100093 s]*
/proc/loadavg: 1.84 1.98 1.94 3/231 19161
/proc/meminfo: memFree=25443516/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
[pid=19147] ppid=19145 vsize=15144776 memory=28676 CPUtime=0.12 cores=0-3
/proc/19147/stat : 19147 (java) S 19145 19145 15128 0 -1 1077944320 5627 0 0 0 11 1 0 0 20 0 15 0 517537174 15508250624 7169 33554432000 4194304 4196468 140727296306448 140727296288992 139675280875255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
/proc/19147/statm: 3786194 7169 3121 1 0 3748377 0
[pid=19147/tid=19148] ppid=19145 vsize=15144776 memory=8108032331684915787 CPUtime=0.08 cores=0-3
/proc/19147/task/19148/stat : 19148 (java) R 19145 19145 15128 0 -1 4202560 3546 0 0 0 8 0 0 0 20 0 15 0 517537174 15508250624 7169 33554432000 4194304 4196468 140727296306448 139675285098000 139675264955742 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19149] ppid=19145 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0-3
/proc/19147/task/19149/stat : 19149 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 7169 33554432000 4194304 4196468 140727296306448 139675233495824 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19150] ppid=19145 vsize=15144776 memory=140237144639104 CPUtime=0 cores=0-3
/proc/19147/task/19150/stat : 19150 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 7169 33554432000 4194304 4196468 140727296306448 139675232443280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19151] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19151/stat : 19151 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 7169 33554432000 4194304 4196468 140727296306448 139675231390736 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19152] ppid=19145 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/19147/task/19152/stat : 19152 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 7169 33554432000 4194304 4196468 140727296306448 139675230338192 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19153] ppid=19145 vsize=15144776 memory=140237144639104 CPUtime=0 cores=0-3
/proc/19147/task/19153/stat : 19153 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537177 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674749220848 139675280886402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19154] ppid=19145 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/19147/task/19154/stat : 19154 (java) S 19145 19145 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517537177 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674748167072 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19155] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517537178 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674747114480 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) S 19145 19145 15128 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 517537180 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674745010672 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) S 19145 19145 15128 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 517537180 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674743958128 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15144776 memory=140237144639104 CPUtime=0.01 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) R 19145 19145 15128 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 517537180 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674742905584 139675259364897 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15144776 memory=140237144639104 CPUtime=0 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537181 15508250624 7169 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30128 KiB
[startup+0.211749 s]*
/proc/loadavg: 1.84 1.98 1.94 3/231 19161
/proc/meminfo: memFree=25431436/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
[pid=19147] ppid=19145 vsize=15144776 memory=40140 CPUtime=0.34 cores=0-3
/proc/19147/stat : 19147 (java) S 19145 19145 15128 0 -1 1077944320 9240 0 0 0 31 3 0 0 20 0 15 0 517537174 15508250624 10035 33554432000 4194304 4196468 140727296306448 140727296288992 139675280875255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
/proc/19147/statm: 3786194 10035 3259 1 0 3748377 0
[pid=19147/tid=19148] ppid=19145 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/19147/task/19148/stat : 19148 (java) R 19145 19145 15128 0 -1 4202560 6503 0 0 0 18 2 0 0 20 0 15 0 517537174 15508250624 10035 33554432000 4194304 4196468 140727296306448 139675285094592 139675280887190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19149] ppid=19145 vsize=15144776 memory=1915598 CPUtime=0 cores=0-3
/proc/19147/task/19149/stat : 19149 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 10035 33554432000 4194304 4196468 140727296306448 139675233495824 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19150] ppid=19145 vsize=15144776 memory=140237148489476 CPUtime=0 cores=0-3
/proc/19147/task/19150/stat : 19150 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 10035 33554432000 4194304 4196468 140727296306448 139675232443280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19151] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19151/stat : 19151 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 10035 33554432000 4194304 4196468 140727296306448 139675231390736 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19152] ppid=19145 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/19147/task/19152/stat : 19152 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15508250624 10035 33554432000 4194304 4196468 140727296306448 139675230338192 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19153] ppid=19145 vsize=15144776 memory=140237144639104 CPUtime=0 cores=0-3
/proc/19147/task/19153/stat : 19153 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537177 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674749220848 139675280886402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19154] ppid=19145 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/19147/task/19154/stat : 19154 (java) S 19145 19145 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517537177 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674748167072 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19155] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517537178 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674747114480 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15144776 memory=0 CPUtime=0.02 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) S 19145 19145 15128 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 517537180 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674745010672 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15144776 memory=-1 CPUtime=0.02 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) S 19145 19145 15128 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 15 0 517537180 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674743958128 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15144776 memory=140237144639104 CPUtime=0.08 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) R 19145 19145 15128 0 -1 4202560 797 0 0 0 8 0 0 0 20 0 15 0 517537180 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674742905584 139675280887190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537181 15508250624 10035 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41592 KiB
[startup+0.3116 s]*
/proc/loadavg: 1.84 1.98 1.94 3/231 19161
/proc/meminfo: memFree=25425964/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
[pid=19147] ppid=19145 vsize=15149032 memory=46708 CPUtime=0.52 cores=0-3
/proc/19147/stat : 19147 (java) S 19145 19145 15128 0 -1 1077944320 10471 0 0 0 48 4 0 0 20 0 15 0 517537174 15512608768 11677 33554432000 4194304 4196468 140727296306448 140727296288992 139675280875255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
/proc/19147/statm: 3787258 11677 3354 1 0 3748377 0
[pid=19147/tid=19148] ppid=19145 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0-3
/proc/19147/task/19148/stat : 19148 (java) R 19145 19145 15128 0 -1 4202560 7502 0 0 0 27 2 0 0 20 0 15 0 517537174 15512608768 11677 33554432000 4194304 4196468 140727296306448 139675285096768 139675264955742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19149] ppid=19145 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0-3
/proc/19147/task/19149/stat : 19149 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15512608768 11677 33554432000 4194304 4196468 140727296306448 139675233495824 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19150] ppid=19145 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0-3
/proc/19147/task/19150/stat : 19150 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15512608768 11677 33554432000 4194304 4196468 140727296306448 139675232443280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19151] ppid=19145 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0-3
/proc/19147/task/19151/stat : 19151 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537175 15512608768 11677 33554432000 4194304 4196468 140727296306448 139675231390736 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19152] ppid=19145 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0-3
/proc/19147/task/19152/stat : 19152 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15512608768 11677 33554432000 4194304 4196468 140727296306448 139675230338192 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19153] ppid=19145 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0-3
/proc/19147/task/19153/stat : 19153 (java) S 19145 19145 15128 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517537177 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674749220848 139675280886402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19154] ppid=19145 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0-3
/proc/19147/task/19154/stat : 19154 (java) S 19145 19145 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517537177 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674748167072 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19155] ppid=19145 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0-3
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517537178 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674747114480 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) S 19145 19145 15128 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 15 0 517537180 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674745010672 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15149032 memory=0 CPUtime=0.04 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) S 19145 19145 15128 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 15 0 517537180 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674743958128 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15149032 memory=0 CPUtime=0.13 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) S 19145 19145 15128 0 -1 1077944384 950 0 0 0 13 0 0 0 20 0 15 0 517537180 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674742905584 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537181 15512608768 11677 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48160 KiB
[startup+0.700796 s]
/proc/loadavg: 1.84 1.98 1.94 6/231 19161
/proc/meminfo: memFree=25408460/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
[pid=19147] ppid=19145 vsize=15151156 memory=74552 CPUtime=1.52 cores=0-3
/proc/19147/stat : 19147 (java) S 19145 19145 15128 0 -1 1077944320 13372 0 0 0 146 6 0 0 20 0 15 0 517537174 15514783744 18638 33554432000 4194304 4196468 140727296306448 140727296288992 139675280875255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
/proc/19147/statm: 3787789 18638 3460 1 0 3748889 0
[pid=19147/tid=19148] ppid=19145 vsize=15151156 memory=0 CPUtime=0.68 cores=0-3
/proc/19147/task/19148/stat : 19148 (java) R 19145 19145 15128 0 -1 4202560 9079 0 0 0 64 4 0 0 20 0 15 0 517537174 15514783744 18638 33554432000 4194304 4196468 140727296306448 139675285114768 139675261520159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19149] ppid=19145 vsize=15151156 memory=33 CPUtime=0 cores=0-3
/proc/19147/task/19149/stat : 19149 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15514783744 18638 33554432000 4194304 4196468 140727296306448 139675233495824 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19150] ppid=19145 vsize=15151156 memory=-7604262568725289114 CPUtime=0 cores=0-3
/proc/19147/task/19150/stat : 19150 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15514783744 18638 33554432000 4194304 4196468 140727296306448 139675232443280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19151] ppid=19145 vsize=15151156 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19151/stat : 19151 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537175 15514783744 18638 33554432000 4194304 4196468 140727296306448 139675231390736 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19152] ppid=19145 vsize=15151156 memory=0 CPUtime=0 cores=0-3
/proc/19147/task/19152/stat : 19152 (java) S 19145 19145 15128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517537175 15514783744 18638 33554432000 4194304 4196468 140727296306448 139675230338192 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19153] ppid=19145 vsize=15151156 memory=77400 CPUtime=0 cores=0-3
/proc/19147/task/19153/stat : 19153 (java) S 19145 19145 15128 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517537177 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674749220848 139675280886402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19154] ppid=19145 vsize=15151156 memory=984 CPUtime=0 cores=0-3
/proc/19147/task/19154/stat : 19154 (java) S 19145 19145 15128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517537177 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674748167072 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19155] ppid=19145 vsize=15151156 memory=2020 CPUtime=0 cores=0-3
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517537178 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674747114480 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15151156 memory=1420 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15151156 memory=776 CPUtime=0.21 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) R 19145 19145 15128 0 -1 4202560 771 0 0 0 21 0 0 0 20 0 15 0 517537180 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674745010672 139675262419798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15151156 memory=660 CPUtime=0.21 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) R 19145 19145 15128 0 -1 4202560 617 0 0 0 21 0 0 0 20 0 15 0 517537180 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674743958128 139675280887190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15151156 memory=1556 CPUtime=0.39 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) R 19145 19145 15128 0 -1 1077944384 1595 0 0 0 39 0 0 0 20 0 15 0 517537180 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674742905584 139675280886402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15151156 memory=9588 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15151156 memory=1712 CPUtime=0 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517537181 15514783744 18638 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76004 KiB
[startup+1.50084 s]
/proc/loadavg: 1.84 1.98 1.94 5/231 19161
/proc/meminfo: memFree=25387248/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 517537178 15514783744 50712 33554432000 4194304 4196468 140727296306448 139674747114496 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15151156 memory=202848 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 50712 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15151156 memory=202848 CPUtime=2.31 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) S 19145 19145 15128 0 -1 1077944384 18507 0 0 0 229 2 0 0 20 0 15 0 517537180 15514783744 50712 33554432000 4194304 4196468 140727296306448 139674745010672 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15151156 memory=202848 CPUtime=2.17 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) S 19145 19145 15128 0 -1 1077944384 12901 0 0 0 215 2 0 0 20 0 15 0 517537180 15514783744 50712 33554432000 4194304 4196468 140727296306448 139674743958128 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15151156 memory=1452 CPUtime=0.63 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) S 19145 19145 15128 0 -1 1077944384 8981 0 0 0 62 1 0 0 20 0 15 0 517537180 15514783744 50712 33554432000 4194304 4196468 140727296306448 139674742905584 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15151156 memory=1452 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 50712 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15151156 memory=1452 CPUtime=0.58 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 1168 0 0 0 23 35 0 0 20 0 15 0 517537181 15514783744 50712 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 2450.53 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 204300 KiB
[startup+2502.3 s]
/proc/loadavg: 1.65 1.51 1.55 3/230 19465
/proc/meminfo: memFree=25363772/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
[pid=19147] ppid=19145 vsize=15151156 memory=204956 CPUtime=2510.64 cores=0-3
/proc/19147/stat : 19147 (java) S 19145 19145 15128 0 -1 1077944320 83419 0 0 0 250981 83 0 0 20 0 15 0 517537174 15514783744 51239 33554432000 4194304 4196468 140727296306448 140727296288992 139675280875255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
/proc/19147/statm: 3787789 51239 3510 1 0 3748889 0
[pid=19147/tid=19148] ppid=19145 vsize=15151156 memory=204956 CPUtime=2499.36 cores=0-3
/proc/19147/task/19148/stat : 19148 (java) R 19145 19145 15128 0 -1 4202560 21508 0 0 0 249924 12 0 0 20 0 15 0 517537174 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675285114848 139674907734005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19149] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.11 cores=0-3
/proc/19147/task/19149/stat : 19149 (java) S 19145 19145 15128 0 -1 1077944384 2083 0 0 0 102 9 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675233495824 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19150] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.1 cores=0-3
/proc/19147/task/19150/stat : 19150 (java) S 19145 19145 15128 0 -1 1077944384 2907 0 0 0 102 8 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675232443280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19151] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.11 cores=0-3
/proc/19147/task/19151/stat : 19151 (java) S 19145 19145 15128 0 -1 1077944384 4317 0 0 0 101 10 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675231390736 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19152] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.11 cores=0-3
/proc/19147/task/19152/stat : 19152 (java) S 19145 19145 15128 0 -1 1077944384 4163 0 0 0 102 9 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675230338192 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19153] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.03 cores=0-3
/proc/19147/task/19153/stat : 19153 (java) S 19145 19145 15128 0 -1 1077944384 5478 0 0 0 94 9 0 0 20 0 15 0 517537177 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674749220848 139675280886402 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19154] ppid=19145 vsize=15151156 memory=1452 CPUtime=0 cores=0-3
/proc/19147/task/19154/stat : 19154 (java) S 19145 19145 15128 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 517537177 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674748167136 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19155] ppid=19145 vsize=15151156 memory=77444 CPUtime=0 cores=0-3
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 517537178 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674747114496 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15151156 memory=984 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15151156 memory=204956 CPUtime=2.31 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) S 19145 19145 15128 0 -1 1077944384 18509 0 0 0 229 2 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674745010672 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15151156 memory=77444 CPUtime=2.17 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) S 19145 19145 15128 0 -1 1077944384 12903 0 0 0 215 2 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674743958128 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15151156 memory=1452 CPUtime=0.63 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) S 19145 19145 15128 0 -1 1077944384 8983 0 0 0 62 1 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674742905584 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15151156 memory=202848 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15151156 memory=6791534058613427641 CPUtime=0.6 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 1185 0 0 0 24 36 0 0 20 0 15 0 517537181 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 2510.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 206408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.7 s]
/proc/loadavg: 1.48 1.48 1.53 3/230 19465
/proc/meminfo: memFree=25361708/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
[pid=19147] ppid=19145 vsize=15151156 memory=204956 CPUtime=2520.06 cores=0-3
/proc/19147/stat : 19147 (java) S 19145 19145 15128 0 -1 1077944320 83432 0 0 0 251923 83 0 0 20 0 15 0 517537174 15514783744 51239 33554432000 4194304 4196468 140727296306448 140727296288992 139675280875255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
/proc/19147/statm: 3787789 51239 3510 1 0 3748889 0
[pid=19147/tid=19148] ppid=19145 vsize=15151156 memory=204956 CPUtime=2508.75 cores=0-3
/proc/19147/task/19148/stat : 19148 (java) R 19145 19145 15128 0 -1 4202560 21515 0 0 0 250863 12 0 0 20 0 15 0 517537174 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675285114768 139674907733344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19149] ppid=19145 vsize=15151156 memory=1452 CPUtime=1.11 cores=0-3
/proc/19147/task/19149/stat : 19149 (java) S 19145 19145 15128 0 -1 1077944384 2085 0 0 0 102 9 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675233495824 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19150] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.11 cores=0-3
/proc/19147/task/19150/stat : 19150 (java) S 19145 19145 15128 0 -1 1077944384 2909 0 0 0 103 8 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675232443280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19151] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.12 cores=0-3
/proc/19147/task/19151/stat : 19151 (java) S 19145 19145 15128 0 -1 1077944384 4319 0 0 0 102 10 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675231390736 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19152] ppid=19145 vsize=15151156 memory=1452 CPUtime=1.12 cores=0-3
/proc/19147/task/19152/stat : 19152 (java) S 19145 19145 15128 0 -1 1077944384 4163 0 0 0 103 9 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675230338192 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19153] ppid=19145 vsize=15151156 memory=776 CPUtime=1.04 cores=0-3
/proc/19147/task/19153/stat : 19153 (java) S 19145 19145 15128 0 -1 1077944384 5478 0 0 0 95 9 0 0 20 0 15 0 517537177 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674749220848 139675280886402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19154] ppid=19145 vsize=15151156 memory=204956 CPUtime=0 cores=0-3
/proc/19147/task/19154/stat : 19154 (java) S 19145 19145 15128 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 517537177 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674748167136 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19155] ppid=19145 vsize=15151156 memory=3624 CPUtime=0 cores=0-3
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 517537178 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674747114496 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15151156 memory=1452 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15151156 memory=204956 CPUtime=2.31 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) S 19145 19145 15128 0 -1 1077944384 18509 0 0 0 229 2 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674745010672 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15151156 memory=1452 CPUtime=2.17 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) S 19145 19145 15128 0 -1 1077944384 12903 0 0 0 215 2 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674743958128 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15151156 memory=3844 CPUtime=0.63 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) S 19145 19145 15128 0 -1 1077944384 8983 0 0 0 62 1 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674742905584 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15151156 memory=2596 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15151156 memory=204956 CPUtime=0.6 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 1185 0 0 0 24 36 0 0 20 0 15 0 517537181 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 206408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.71 s]
# the end of solver process 19145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001242 s, system=0.001242 s
[startup+2511.71 s]
# the end of solver process 19147 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.25 s, system=0.836604 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2511.7 s]
/proc/loadavg: 1.48 1.48 1.53 3/230 19465
/proc/meminfo: memFree=25361708/32770688 swapFree=66927684/67108860
[pid=19145] ppid=19142 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/19145/stat : 19145 (xcsp3-exec) S 19142 19145 15128 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517537174 115843072 363 33554432000 4194304 5098028 140726077233248 140726077231352 140360479658620 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140726077240186 140726077240429 140726077240429 140726077243338 0
/proc/19145/statm: 28282 363 304 221 0 87 0
[pid=19147] ppid=19145 vsize=15151156 memory=204956 CPUtime=2520.06 cores=0-3
/proc/19147/stat : 19147 (java) S 19145 19145 15128 0 -1 1077944320 83432 0 0 0 251923 83 0 0 20 0 15 0 517537174 15514783744 51239 33554432000 4194304 4196468 140727296306448 140727296288992 139675280875255 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
/proc/19147/statm: 3787789 51239 3510 1 0 3748889 0
[pid=19147/tid=19148] ppid=19145 vsize=15151156 memory=204956 CPUtime=2508.75 cores=0-3
/proc/19147/task/19148/stat : 19148 (java) R 19145 19145 15128 0 -1 4202560 21515 0 0 0 250863 12 0 0 20 0 15 0 517537174 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675285114768 139674907733344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19149] ppid=19145 vsize=15151156 memory=1452 CPUtime=1.11 cores=0-3
/proc/19147/task/19149/stat : 19149 (java) S 19145 19145 15128 0 -1 1077944384 2085 0 0 0 102 9 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675233495824 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19150] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.11 cores=0-3
/proc/19147/task/19150/stat : 19150 (java) S 19145 19145 15128 0 -1 1077944384 2909 0 0 0 103 8 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675232443280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19151] ppid=19145 vsize=15151156 memory=204956 CPUtime=1.12 cores=0-3
/proc/19147/task/19151/stat : 19151 (java) S 19145 19145 15128 0 -1 1077944384 4319 0 0 0 102 10 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675231390736 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19152] ppid=19145 vsize=15151156 memory=1452 CPUtime=1.12 cores=0-3
/proc/19147/task/19152/stat : 19152 (java) S 19145 19145 15128 0 -1 1077944384 4163 0 0 0 103 9 0 0 20 0 15 0 517537175 15514783744 51239 33554432000 4194304 4196468 140727296306448 139675230338192 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19153] ppid=19145 vsize=15151156 memory=776 CPUtime=1.04 cores=0-3
/proc/19147/task/19153/stat : 19153 (java) S 19145 19145 15128 0 -1 1077944384 5478 0 0 0 95 9 0 0 20 0 15 0 517537177 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674749220848 139675280886402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19154] ppid=19145 vsize=15151156 memory=204956 CPUtime=0 cores=0-3
/proc/19147/task/19154/stat : 19154 (java) S 19145 19145 15128 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 517537177 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674748167136 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19155] ppid=19145 vsize=15151156 memory=3624 CPUtime=0 cores=0-3
/proc/19147/task/19155/stat : 19155 (java) S 19145 19145 15128 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 517537178 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674747114496 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19156] ppid=19145 vsize=15151156 memory=1452 CPUtime=0 cores=0-3
/proc/19147/task/19156/stat : 19156 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674746063056 139675280893851 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19157] ppid=19145 vsize=15151156 memory=204956 CPUtime=2.31 cores=0-3
/proc/19147/task/19157/stat : 19157 (java) S 19145 19145 15128 0 -1 1077944384 18509 0 0 0 229 2 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674745010672 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19158] ppid=19145 vsize=15151156 memory=1452 CPUtime=2.17 cores=0-3
/proc/19147/task/19158/stat : 19158 (java) S 19145 19145 15128 0 -1 1077944384 12903 0 0 0 215 2 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674743958128 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19159] ppid=19145 vsize=15151156 memory=3844 CPUtime=0.63 cores=0-3
/proc/19147/task/19159/stat : 19159 (java) S 19145 19145 15128 0 -1 1077944384 8983 0 0 0 62 1 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674742905584 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19160] ppid=19145 vsize=15151156 memory=2596 CPUtime=0 cores=0-3
/proc/19147/task/19160/stat : 19160 (java) S 19145 19145 15128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517537180 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674741853280 139675280885461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
[pid=19147/tid=19161] ppid=19145 vsize=15151156 memory=204956 CPUtime=0.6 cores=0-3
/proc/19147/task/19161/stat : 19161 (java) S 19145 19145 15128 0 -1 1077944384 1185 0 0 0 24 36 0 0 20 0 15 0 517537181 15514783744 51239 33554432000 4194304 4196468 140727296306448 139674740799792 139675280886402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39276544 140727296312303 140727296312474 140727296312474 140727296315343 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 206408 KiB
Child status: 143
Real time (s): 2511.71
CPU time (s): 2520.08
CPU user time (s): 2519.25
CPU system time (s): 0.836604
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 15266308
Max. memory (cumulated for all children) (KiB): 212004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.25
system time used= 0.836604
maximum resident set size= 215208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82895
involuntary context switches= 5244
# summary of solver processes directly reported to runsolver:
# pid: 19145,19147
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.25
# total CPU system time (s): 0.836604
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6231 second user time and 25.85 second system time
The end
Begin job on node120 at 2011-12-26 21:02:11
IDJOB=4405968
IDBENCH=141693
IDSOLVER=2869
FILE ID=node120/4405968-1569415310
RUNJOBID= node120-1324911091-15159
PBS_JOBID= 21705692
Free space on /tmp= 23384 MiB
SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP19/hcp/graph197.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405968-1569415310/watcher-4405968-1569415310 -o /tmp/evaluation-result-4405968-1569415310/solver-4405968-1569415310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324911091-15159 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1947704155 HOME/instance-4405968-1569415310.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 037a78a785183bf334685935f46df3ca
RANDOM SEED=1947704155
node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5329.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5329.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5329.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2667.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5329.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770688 kB
MemFree: 25459772 kB
MemAvailable: 31464516 kB
Buffers: 141208 kB
Cached: 6140808 kB
SwapCached: 68824 kB
Active: 3419248 kB
Inactive: 3251372 kB
Active(anon): 319316 kB
Inactive(anon): 133896 kB
Active(file): 3099932 kB
Inactive(file): 3117476 kB
Unevictable: 107752 kB
Mlocked: 107752 kB
SwapTotal: 67108860 kB
SwapFree: 66927684 kB
Dirty: 26244 kB
Writeback: 52 kB
AnonPages: 428896 kB
Mapped: 77792 kB
Shmem: 55988 kB
Slab: 235472 kB
SReclaimable: 206344 kB
SUnreclaim: 29128 kB
KernelStack: 3728 kB
PageTables: 6688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 1193244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 364544 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 146880 kB
DirectMap2M: 33398784 kB
Free space on /tmp at the end= 23360 MiB
End job on node120 at 2011-12-26 21:44:03