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-4254970-1501620126/watcher-4254970-1501620126 -o /tmp/evaluation-result-4254970-1501620126/solver-4254970-1501620126 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1755619961 HOME/instance-4254970-1501620126.xml
pid=21252
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 1.60 1.75 1.84 3/198 21255
/proc/meminfo: memFree=31492240/32770624 swapFree=0/289256
[pid=21255] ppid=21252 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (runsolver) D 21252 21255 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9518352 24240128 107 18446744073709551615 4194304 4338465 140736669025552 140736669023192 140324004586199 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 30400512 140736669032540 140736669033030 140736669033030 140736669036490 0
/proc/21255/statm: 5918 107 54 36 0 2156 0
[startup+0.100135 s]
/proc/loadavg: 1.60 1.75 1.84 3/198 21255
/proc/meminfo: memFree=31492240/32770624 swapFree=0/289256
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200311 s]
/proc/loadavg: 1.60 1.75 1.84 3/198 21255
/proc/meminfo: memFree=31492240/32770624 swapFree=0/289256
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300314 s]
/proc/loadavg: 1.60 1.75 1.84 3/198 21255
/proc/meminfo: memFree=31492240/32770624 swapFree=0/289256
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.703068 s]
/proc/loadavg: 1.60 1.75 1.84 3/198 21255
/proc/meminfo: memFree=31492240/32770624 swapFree=0/289256
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.63 1.75 1.84 5/214 21271
/proc/meminfo: memFree=31409988/32770624 swapFree=0/289280
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
[pid=21257] ppid=21255 vsize=13980732 CPUtime=3.75 cores=1,3,5,7
/proc/21257/stat : 21257 (java) S 21255 21255 5234 0 -1 1077944320 26548 0 0 0 368 7 0 0 20 0 15 0 9518358 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140722478524944 140707415060215 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
/proc/21257/statm: 3495183 31676 3179 1 0 3483484 0
[pid=21257/tid=21258] ppid=21255 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/21257/task/21258/stat : 21258 (java) R 21255 21255 5234 0 -1 4202560 9412 0 0 0 132 4 0 0 20 0 15 0 9518359 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140707419298464 140707041972044 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21259] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21259/stat : 21259 (java) S 21255 21255 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140707015171088 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21260] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21260/stat : 21260 (java) S 21255 21255 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140707014118544 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21261] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21261/stat : 21261 (java) S 21255 21255 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140707013065488 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21262] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21262/stat : 21262 (java) S 21255 21255 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140707012012944 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21263] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21263/stat : 21263 (java) S 21255 21255 5234 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706960832752 140707415071362 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21264] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21264/stat : 21264 (java) S 21255 21255 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706959778976 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21265] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21265/stat : 21265 (java) S 21255 21255 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706958725872 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21266] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21266/stat : 21266 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706957674448 140707415078811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21267] ppid=21255 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/21257/task/21267/stat : 21267 (java) R 21255 21255 5234 0 -1 4202560 7445 0 0 0 96 1 0 0 20 0 15 0 9518364 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706956608872 140707398546256 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21268] ppid=21255 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/21257/task/21268/stat : 21268 (java) R 21255 21255 5234 0 -1 4202560 5745 0 0 0 91 0 0 0 20 0 15 0 9518364 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706955556056 140707392656383 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21269] ppid=21255 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/21257/task/21269/stat : 21269 (java) S 21255 21255 5234 0 -1 1077944384 2603 0 0 0 47 0 0 0 20 0 15 0 9518364 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706886707696 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21270] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21270/stat : 21270 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706885655392 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21271] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21271/stat : 21271 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518370 14316269568 31676 18446744073709551615 4194304 4196468 140722478542400 140706884602416 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13990244
[startup+3.10578 s]
/proc/loadavg: 1.63 1.75 1.84 5/214 21271
/proc/meminfo: memFree=31345444/32770624 swapFree=0/289280
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
[pid=21257] ppid=21255 vsize=13980732 CPUtime=7.67 cores=1,3,5,7
/proc/21257/stat : 21257 (java) S 21255 21255 5234 0 -1 1077944320 28588 0 0 0 759 8 0 0 20 0 15 0 9518358 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140722478524944 140707415060215 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
/proc/21257/statm: 3495183 49599 3193 1 0 3483484 0
[pid=21257/tid=21258] ppid=21255 vsize=13980732 CPUtime=2.97 cores=1,3,5,7
/proc/21257/task/21258/stat : 21258 (java) R 21255 21255 5234 0 -1 4202560 10005 0 0 0 292 5 0 0 20 0 15 0 9518359 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140707419299048 140707043693048 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21259] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21259/stat : 21259 (java) S 21255 21255 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140707015171088 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21260] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21260/stat : 21260 (java) S 21255 21255 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140707014118544 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21261] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21261/stat : 21261 (java) S 21255 21255 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140707013065488 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21262] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21262/stat : 21262 (java) S 21255 21255 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9518359 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140707012012944 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21263] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21263/stat : 21263 (java) S 21255 21255 5234 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706960832752 140707415071362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21264] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21264/stat : 21264 (java) S 21255 21255 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706959778976 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21265] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21265/stat : 21265 (java) S 21255 21255 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706958725872 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21266] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21266/stat : 21266 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706957674448 140707415078811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21267] ppid=21255 vsize=13980732 CPUtime=2.09 cores=1,3,5,7
/proc/21257/task/21267/stat : 21267 (java) R 21255 21255 5234 0 -1 4202560 7809 0 0 0 208 1 0 0 20 0 15 0 9518364 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706956622576 140707398589038 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21268] ppid=21255 vsize=13980732 CPUtime=2 cores=1,3,5,7
/proc/21257/task/21268/stat : 21268 (java) R 21255 21255 5234 0 -1 4202560 6231 0 0 0 200 0 0 0 20 0 15 0 9518364 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706955556128 140707399454051 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21269] ppid=21255 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/21257/task/21269/stat : 21269 (java) S 21255 21255 5234 0 -1 1077944384 3196 0 0 0 58 0 0 0 20 0 15 0 9518364 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706886707696 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21270] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21270/stat : 21270 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706885655392 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21271] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21271/stat : 21271 (java) S 21255 21255 5234 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 9518370 14316269568 49599 18446744073709551615 4194304 4196468 140722478542400 140706884602416 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.63 1.75 1.84 3/214 21271
/proc/meminfo: memFree=31264892/32770624 swapFree=0/289300
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
[pid=21257] ppid=21255 vsize=13980732 CPUtime=11.81 cores=1,3,5,7
/proc/21257/stat : 21257 (java) S 21255 21255 5234 0 -1 1077944320 30504 0 0 0 1168 13 0 0 20 0 15 0 9518358 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140722478524944 140707415060215 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
/proc/21257/statm: 3495183 62730 3217 1 0 3483484 0
[pid=21257/tid=21258] ppid=21255 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/21257/task/21258/stat : 21258 (java) R 21255 21255 5234 0 -1 4202560 10041 0 0 0 607 5 0 0 20 0 15 0 9518359 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140707419299184 140707042855701 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21259] ppid=21255 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21257/task/21259/stat : 21259 (java) S 21255 21255 5234 0 -1 1077944384 296 0 0 0 2 1 0 0 20 0 15 0 9518359 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140707015171088 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21260] ppid=21255 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21257/task/21260/stat : 21260 (java) S 21255 21255 5234 0 -1 1077944384 82 0 0 0 2 1 0 0 20 0 15 0 9518359 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140707014118544 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21261] ppid=21255 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21257/task/21261/stat : 21261 (java) S 21255 21255 5234 0 -1 1077944384 90 0 0 0 2 1 0 0 20 0 15 0 9518359 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140707013065488 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21262] ppid=21255 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/21257/task/21262/stat : 21262 (java) S 21255 21255 5234 0 -1 1077944384 416 0 0 0 2 1 0 0 20 0 15 0 9518359 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140707012012944 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21263] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21263/stat : 21263 (java) S 21255 21255 5234 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706960832752 140707415071362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21264] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21264/stat : 21264 (java) S 21255 21255 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706959778976 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21265] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21265/stat : 21265 (java) S 21255 21255 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706958725872 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21266] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21266/stat : 21266 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706957674448 140707415078811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21267] ppid=21255 vsize=13980732 CPUtime=2.4 cores=1,3,5,7
/proc/21257/task/21267/stat : 21267 (java) S 21255 21255 5234 0 -1 1077944384 7853 0 0 0 239 1 0 0 20 0 15 0 9518364 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706956622576 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21268] ppid=21255 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/21257/task/21268/stat : 21268 (java) S 21255 21255 5234 0 -1 1077944384 6315 0 0 0 245 0 0 0 20 0 15 0 9518364 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706955570032 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21269] ppid=21255 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/21257/task/21269/stat : 21269 (java) S 21255 21255 5234 0 -1 1077944384 3831 0 0 0 63 1 0 0 20 0 15 0 9518364 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706886707696 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21270] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21270/stat : 21270 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706885655392 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21271] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21271/stat : 21271 (java) S 21255 21255 5234 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 9518370 14316269568 62730 18446744073709551615 4194304 4196468 140722478542400 140706884602416 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.68 1.76 1.84 3/214 21271
/proc/meminfo: memFree=31120680/32770624 swapFree=0/289300
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
[pid=21257] ppid=21255 vsize=13980732 CPUtime=18.58 cores=1,3,5,7
/proc/21257/stat : 21257 (java) S 21255 21255 5234 0 -1 1077944320 36543 0 0 0 1842 16 0 0 20 0 15 0 9518358 14316269568 69587 18446744073709551615 4194304 4196468 140722478542400 140722478524944 140707415060215 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
/proc/21257/statm: 3495183 69587 3221 1 0 3483484 0
[pid=21257/tid=21258] ppid=21255 vsize=13980732 CPUtime=12.47 cores=1,3,5,7
/proc/21257/task/21258/stat : 21258 (java) R 21255 21255 5234 0 -1 4202560 11269 0 0 0 1242 5 0 0 20 0 15 0 9518359 14316269568 69587 18446744073709551615 4194304 4196468 140722478542400 140707419297144 140707043693091 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21259] ppid=21255 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/21257/task/21259/stat : 21259 (java) S 21255 21255 5234 0 -1 1077944384 459 0 0 0 6 1 0 0 20 0 15 0 9518359 14316269568 69587 18446744073709551615 4194304 4196468 140722478542400 140707015171088 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21260] ppid=21255 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/21257/task/21260/stat : 21260 (java) S 21255 21255 5234 0 -1 1077944384 383 0 0 0 6 1 0 0 20 0 15 0 9518359 14316269568 69587 18446744073709551615 4194304 4196468 140722478542400 140707014118544 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
################
# More data... #
################
[pid=21257/tid=21264] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21264/stat : 21264 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706959779040 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21265] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21265/stat : 21265 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706958725888 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21266] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21266/stat : 21266 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706957674448 140707415078811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21267] ppid=21255 vsize=13980732 CPUtime=3.41 cores=1,3,5,7
/proc/21257/task/21267/stat : 21267 (java) S 21255 21255 5234 0 -1 1077944384 19758 0 0 0 339 2 0 0 20 0 15 0 9518364 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706956622576 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21268] ppid=21255 vsize=13980732 CPUtime=3.48 cores=1,3,5,7
/proc/21257/task/21268/stat : 21268 (java) S 21255 21255 5234 0 -1 1077944384 20843 0 0 0 346 2 0 0 20 0 15 0 9518364 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706955570032 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21269] ppid=21255 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/21257/task/21269/stat : 21269 (java) S 21255 21255 5234 0 -1 1077944384 7956 0 0 0 73 2 0 0 20 0 15 0 9518364 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706886707696 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21270] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21270/stat : 21270 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706885655392 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21271] ppid=21255 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/21257/task/21271/stat : 21271 (java) S 21255 21255 5234 0 -1 1077944384 356 0 0 0 2 2 0 0 20 0 15 0 9518370 14316269568 247051 18446744073709551615 4194304 4196468 140722478542400 140706884602416 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
Current children cumulated CPU time (s) 112.67
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.87 1.84 1.86 3/217 21361
/proc/meminfo: memFree=29412964/32770624 swapFree=0/289456
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
[pid=21257] ppid=21255 vsize=13980732 CPUtime=174.79 cores=1,3,5,7
/proc/21257/stat : 21257 (java) S 21255 21255 5234 0 -1 1077944320 90673 0 0 0 17383 96 0 0 20 0 15 0 9518358 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140722478524944 140707415060215 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
/proc/21257/statm: 3495183 252430 3251 1 0 3483484 0
[pid=21257/tid=21258] ppid=21255 vsize=13980732 CPUtime=160.69 cores=1,3,5,7
/proc/21257/task/21258/stat : 21258 (java) R 21255 21255 5234 0 -1 4202560 20166 0 0 0 16060 9 0 0 20 0 15 0 9518359 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140707419296496 140707042855986 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21259] ppid=21255 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/21257/task/21259/stat : 21259 (java) S 21255 21255 5234 0 -1 1077944384 3218 0 0 0 121 19 0 0 20 0 15 0 9518359 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140707015171088 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21260] ppid=21255 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/21257/task/21260/stat : 21260 (java) S 21255 21255 5234 0 -1 1077944384 2375 0 0 0 121 19 0 0 20 0 15 0 9518359 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140707014118544 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21261] ppid=21255 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/21257/task/21261/stat : 21261 (java) S 21255 21255 5234 0 -1 1077944384 1864 0 0 0 120 18 0 0 20 0 15 0 9518359 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140707013065488 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21262] ppid=21255 vsize=13980732 CPUtime=1.39 cores=1,3,5,7
/proc/21257/task/21262/stat : 21262 (java) S 21255 21255 5234 0 -1 1077944384 2182 0 0 0 121 18 0 0 20 0 15 0 9518359 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140707012012944 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21263] ppid=21255 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/21257/task/21263/stat : 21263 (java) S 21255 21255 5234 0 -1 1077944384 3139 0 0 0 6 0 0 0 20 0 15 0 9518361 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706960832752 140707415071362 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21264] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21264/stat : 21264 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706959779040 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21265] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21265/stat : 21265 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706958725888 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21266] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21266/stat : 21266 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706957674448 140707415078811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21267] ppid=21255 vsize=13980732 CPUtime=3.54 cores=1,3,5,7
/proc/21257/task/21267/stat : 21267 (java) S 21255 21255 5234 0 -1 1077944384 21865 0 0 0 351 3 0 0 20 0 15 0 9518364 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706956622576 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21268] ppid=21255 vsize=13980732 CPUtime=4.02 cores=1,3,5,7
/proc/21257/task/21268/stat : 21268 (java) S 21255 21255 5234 0 -1 1077944384 26037 0 0 0 400 2 0 0 20 0 15 0 9518364 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706955570032 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21269] ppid=21255 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/21257/task/21269/stat : 21269 (java) S 21255 21255 5234 0 -1 1077944384 8066 0 0 0 74 2 0 0 20 0 15 0 9518364 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706886707696 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21270] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21270/stat : 21270 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706885655392 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21271] ppid=21255 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/21257/task/21271/stat : 21271 (java) S 21255 21255 5234 0 -1 1077944384 384 0 0 0 3 4 0 0 20 0 15 0 9518370 14316269568 252430 18446744073709551615 4194304 4196468 140722478542400 140706884602416 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
Current children cumulated CPU time (s) 174.79
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.82 1.83 1.86 3/217 21363
/proc/meminfo: memFree=29505856/32770624 swapFree=0/289476
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
[pid=21257] ppid=21255 vsize=13980732 CPUtime=236.62 cores=1,3,5,7
/proc/21257/stat : 21257 (java) S 21255 21255 5234 0 -1 1077944320 96534 0 0 0 23562 100 0 0 20 0 15 0 9518358 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140722478524944 140707415060215 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
/proc/21257/statm: 3495183 211043 3251 1 0 3483484 0
[pid=21257/tid=21258] ppid=21255 vsize=13980732 CPUtime=220.09 cores=1,3,5,7
/proc/21257/task/21258/stat : 21258 (java) R 21255 21255 5234 0 -1 4202560 21965 0 0 0 22000 9 0 0 20 0 15 0 9518359 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140707419299584 140707045556980 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21259] ppid=21255 vsize=13980732 CPUtime=1.97 cores=1,3,5,7
/proc/21257/task/21259/stat : 21259 (java) S 21255 21255 5234 0 -1 1077944384 3667 0 0 0 178 19 0 0 20 0 15 0 9518359 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140707015171088 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21260] ppid=21255 vsize=13980732 CPUtime=1.98 cores=1,3,5,7
/proc/21257/task/21260/stat : 21260 (java) S 21255 21255 5234 0 -1 1077944384 2610 0 0 0 179 19 0 0 20 0 15 0 9518359 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140707014118544 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21261] ppid=21255 vsize=13980732 CPUtime=1.97 cores=1,3,5,7
/proc/21257/task/21261/stat : 21261 (java) S 21255 21255 5234 0 -1 1077944384 2212 0 0 0 178 19 0 0 20 0 15 0 9518359 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140707013065488 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21262] ppid=21255 vsize=13980732 CPUtime=1.96 cores=1,3,5,7
/proc/21257/task/21262/stat : 21262 (java) S 21255 21255 5234 0 -1 1077944384 2521 0 0 0 178 18 0 0 20 0 15 0 9518359 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140707012012944 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21263] ppid=21255 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/21257/task/21263/stat : 21263 (java) S 21255 21255 5234 0 -1 1077944384 5411 0 0 0 7 1 0 0 20 0 15 0 9518361 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706960832752 140707415071362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21264] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21264/stat : 21264 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706959779040 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21265] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21265/stat : 21265 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706958725888 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21266] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21266/stat : 21266 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706957674448 140707415078811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21267] ppid=21255 vsize=13980732 CPUtime=3.58 cores=1,3,5,7
/proc/21257/task/21267/stat : 21267 (java) S 21255 21255 5234 0 -1 1077944384 22071 0 0 0 355 3 0 0 20 0 15 0 9518364 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706956622576 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21268] ppid=21255 vsize=13980732 CPUtime=4.04 cores=1,3,5,7
/proc/21257/task/21268/stat : 21268 (java) S 21255 21255 5234 0 -1 1077944384 26072 0 0 0 402 2 0 0 20 0 15 0 9518364 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706955570032 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21269] ppid=21255 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/21257/task/21269/stat : 21269 (java) S 21255 21255 5234 0 -1 1077944384 8224 0 0 0 74 2 0 0 20 0 15 0 9518364 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706886707696 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21270] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21270/stat : 21270 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706885655392 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21271] ppid=21255 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/21257/task/21271/stat : 21271 (java) S 21255 21255 5234 0 -1 1077944384 404 0 0 0 5 5 0 0 20 0 15 0 9518370 14316269568 211043 18446744073709551615 4194304 4196468 140722478542400 140706884602416 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
Current children cumulated CPU time (s) 236.62
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.72 1.81 1.85 3/217 21365
/proc/meminfo: memFree=29534920/32770624 swapFree=0/289484
[pid=21255] ppid=21252 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/21255/stat : 21255 (xcsp3-exec) S 21252 21255 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9518352 9740288 344 18446744073709551615 4194304 5098028 140730535717648 140730535715752 140094724137596 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 17772544 140730535723419 140730535723623 140730535723623 140730535727083 0
/proc/21255/statm: 2378 344 289 221 0 87 0
[pid=21257] ppid=21255 vsize=13980732 CPUtime=254.74 cores=1,3,5,7
/proc/21257/stat : 21257 (java) S 21255 21255 5234 0 -1 1077944320 99154 0 0 0 25373 101 0 0 20 0 15 0 9518358 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140722478524944 140707415060215 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
/proc/21257/statm: 3495183 197962 3251 1 0 3483484 0
[pid=21257/tid=21258] ppid=21255 vsize=13980732 CPUtime=237.64 cores=1,3,5,7
/proc/21257/task/21258/stat : 21258 (java) R 21255 21255 5234 0 -1 4202560 22500 0 0 0 23755 9 0 0 20 0 15 0 9518359 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140707419299584 140707043693070 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21259] ppid=21255 vsize=13980732 CPUtime=2.1 cores=1,3,5,7
/proc/21257/task/21259/stat : 21259 (java) S 21255 21255 5234 0 -1 1077944384 3777 0 0 0 191 19 0 0 20 0 15 0 9518359 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140707015171088 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21260] ppid=21255 vsize=13980732 CPUtime=2.12 cores=1,3,5,7
/proc/21257/task/21260/stat : 21260 (java) S 21255 21255 5234 0 -1 1077944384 2794 0 0 0 193 19 0 0 20 0 15 0 9518359 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140707014118544 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21261] ppid=21255 vsize=13980732 CPUtime=2.1 cores=1,3,5,7
/proc/21257/task/21261/stat : 21261 (java) S 21255 21255 5234 0 -1 1077944384 2528 0 0 0 191 19 0 0 20 0 15 0 9518359 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140707013065488 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21262] ppid=21255 vsize=13980732 CPUtime=2.1 cores=1,3,5,7
/proc/21257/task/21262/stat : 21262 (java) S 21255 21255 5234 0 -1 1077944384 2686 0 0 0 192 18 0 0 20 0 15 0 9518359 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140707012012944 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21263] ppid=21255 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/21257/task/21263/stat : 21263 (java) S 21255 21255 5234 0 -1 1077944384 5635 0 0 0 7 1 0 0 20 0 15 0 9518361 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706960832752 140707415071362 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21264] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21264/stat : 21264 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706959779040 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21265] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21265/stat : 21265 (java) S 21255 21255 5234 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9518361 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706958725888 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21266] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21266/stat : 21266 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706957674448 140707415078811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21267] ppid=21255 vsize=13980732 CPUtime=3.59 cores=1,3,5,7
/proc/21257/task/21267/stat : 21267 (java) S 21255 21255 5234 0 -1 1077944384 22568 0 0 0 356 3 0 0 20 0 15 0 9518364 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706956622576 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21268] ppid=21255 vsize=13980732 CPUtime=4.04 cores=1,3,5,7
/proc/21257/task/21268/stat : 21268 (java) S 21255 21255 5234 0 -1 1077944384 26074 0 0 0 402 2 0 0 20 0 15 0 9518364 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706955570032 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21269] ppid=21255 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/21257/task/21269/stat : 21269 (java) S 21255 21255 5234 0 -1 1077944384 8806 0 0 0 74 2 0 0 20 0 15 0 9518364 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706886707696 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21270] ppid=21255 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/21257/task/21270/stat : 21270 (java) S 21255 21255 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9518364 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706885655392 140707415070421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
[pid=21257/tid=21271] ppid=21255 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/21257/task/21271/stat : 21271 (java) S 21255 21255 5234 0 -1 1077944384 409 0 0 0 5 6 0 0 20 0 15 0 9518370 14316269568 197962 18446744073709551615 4194304 4196468 140722478542400 140706884602416 140707415071362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6750208 140722478547412 140722478547587 140722478547587 140722478550991 0
Current children cumulated CPU time (s) 254.74
Current children cumulated vsize (KiB) 13990244
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 21257 sig 9
??? kill 21255 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21255 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1899
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=136
# CPU time returned by wait4() is 0.002035
# while last known CPU time is 254.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 254.74
CPU user time (s): 253.73
CPU system time (s): 1.01
CPU usage (%): 106.137
Max. virtual memory (cumulated for all children) (KiB): 13994608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001899
system time used= 0.000136
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.868729 second user time and 1.78656 second system time
The end