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: 16374 MiB (13180 MiB free)
memory of node 1: 16384 MiB (14198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405813-1569409427/watcher-4405813-1569409427 -o /var/tmp/evaluation-result-4405813-1569409427/solver-4405813-1569409427 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569406883-8784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 230333370 HOME/instance-4405813-1569409427.xml
running on 4 cores: 1,3,5,7
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=9238, runsolver pid=9235
[startup+0.100058 s]*
/proc/loadavg: 1.38 1.50 1.55 5/230 9254
/proc/meminfo: memFree=28015812/32770624 swapFree=67024132/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
[pid=9240] ppid=9238 vsize=15144776 memory=28916 CPUtime=0.13 cores=1,3,5,7
/proc/9240/stat : 9240 (java) S 9238 9238 8752 0 -1 1077944320 5681 0 0 0 12 1 0 0 20 0 15 0 517215196 15508250624 7229 33554432000 4194304 4196468 140725374584656 140725374567200 140387501764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
/proc/9240/statm: 3786194 7229 3163 1 0 3748377 0
[pid=9240/tid=9241] ppid=9238 vsize=15144776 memory=8115668632477078363 CPUtime=0.09 cores=1,3,5,7
/proc/9240/task/9241/stat : 9241 (java) R 9238 9238 8752 0 -1 4202560 3549 0 0 0 9 0 0 0 20 0 15 0 517215196 15508250624 7229 33554432000 4194304 4196468 140725374584656 140387505986400 140387501776278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9242] ppid=9238 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9242/stat : 9242 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 7229 33554432000 4194304 4196468 140725374584656 140387454385296 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9243] ppid=9238 vsize=15144776 memory=139700094101120 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9243/stat : 9243 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 7229 33554432000 4194304 4196468 140725374584656 140387453332496 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9244] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9244/stat : 9244 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 7229 33554432000 4194304 4196468 140725374584656 140387452279696 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9245] ppid=9238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9245/stat : 9245 (java) S 9238 9238 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 7229 33554432000 4194304 4196468 140725374584656 140387451226896 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9246] ppid=9238 vsize=15144776 memory=139700094101120 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9246/stat : 9246 (java) S 9238 9238 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517215198 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386970331504 140387501775490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9247] ppid=9238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9247/stat : 9247 (java) S 9238 9238 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517215199 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386969277472 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9248] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517215199 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386968224624 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) S 9238 9238 8752 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 517215201 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386966121328 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) S 9238 9238 8752 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 517215201 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386965068528 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15144776 memory=139700094101120 CPUtime=0.02 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) R 9238 9238 8752 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 517215201 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386964015728 140387485844830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15144776 memory=139700094101120 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215202 15508250624 7229 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30372 KiB
[startup+0.212171 s]*
/proc/loadavg: 1.38 1.50 1.55 5/230 9254
/proc/meminfo: memFree=27997760/32770624 swapFree=67024132/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
[pid=9240] ppid=9238 vsize=15144776 memory=40520 CPUtime=0.34 cores=1,3,5,7
/proc/9240/stat : 9240 (java) S 9238 9238 8752 0 -1 1077944320 9457 0 0 0 31 3 0 0 20 0 15 0 517215196 15508250624 10130 33554432000 4194304 4196468 140725374584656 140725374567200 140387501764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
/proc/9240/statm: 3786194 10130 3244 1 0 3748377 0
[pid=9240/tid=9241] ppid=9238 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9240/task/9241/stat : 9241 (java) R 9238 9238 8752 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 15 0 517215196 15508250624 10130 33554432000 4194304 4196468 140725374584656 140387505999328 140387501786269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9242] ppid=9238 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9242/stat : 9242 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 10130 33554432000 4194304 4196468 140725374584656 140387454385296 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9243] ppid=9238 vsize=15144776 memory=139700097981066 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9243/stat : 9243 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 10130 33554432000 4194304 4196468 140725374584656 140387453332496 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9244] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9244/stat : 9244 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 10130 33554432000 4194304 4196468 140725374584656 140387452279696 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9245] ppid=9238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9245/stat : 9245 (java) S 9238 9238 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517215197 15508250624 10130 33554432000 4194304 4196468 140725374584656 140387451226896 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9246] ppid=9238 vsize=15144776 memory=139700094101120 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9246/stat : 9246 (java) S 9238 9238 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517215198 15508250624 10130 33554432000 4194304 4196468 140725374584656 140386970331504 140387501775490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9247] ppid=9238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9247/stat : 9247 (java) S 9238 9238 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517215199 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386969277472 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9248] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517215199 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386968224624 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) S 9238 9238 8752 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 517215201 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386966121328 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) S 9238 9238 8752 0 -1 1077944384 323 0 0 0 3 0 0 0 20 0 15 0 517215201 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386965068528 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15144776 memory=139700094101120 CPUtime=0.08 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) S 9238 9238 8752 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 517215201 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386964015728 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215202 15508250624 10193 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41976 KiB
[startup+0.31878 s]*
/proc/loadavg: 1.38 1.50 1.55 4/230 9254
/proc/meminfo: memFree=27986748/32770624 swapFree=67024132/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
[pid=9240] ppid=9238 vsize=15149032 memory=50164 CPUtime=0.54 cores=1,3,5,7
/proc/9240/stat : 9240 (java) S 9238 9238 8752 0 -1 1077944320 10953 0 0 0 50 4 0 0 20 0 15 0 517215196 15512608768 12541 33554432000 4194304 4196468 140725374584656 140725374567200 140387501764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
/proc/9240/statm: 3787258 12541 3329 1 0 3748377 0
[pid=9240/tid=9241] ppid=9238 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9240/task/9241/stat : 9241 (java) R 9238 9238 8752 0 -1 4202560 7904 0 0 0 28 2 0 0 20 0 15 0 517215196 15512608768 12541 33554432000 4194304 4196468 140725374584656 140387506001360 140387483620505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9242] ppid=9238 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9242/stat : 9242 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15512608768 12541 33554432000 4194304 4196468 140725374584656 140387454385296 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9243] ppid=9238 vsize=15149032 memory=3886092 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9243/stat : 9243 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15512608768 12541 33554432000 4194304 4196468 140725374584656 140387453332496 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9244] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9244/stat : 9244 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15512608768 12541 33554432000 4194304 4196468 140725374584656 140387452279696 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9245] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9245/stat : 9245 (java) S 9238 9238 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517215197 15512608768 12541 33554432000 4194304 4196468 140725374584656 140387451226896 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9246] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9246/stat : 9246 (java) S 9238 9238 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517215198 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386970331504 140387501775490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9247] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9247/stat : 9247 (java) S 9238 9238 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517215199 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386969277472 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9248] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517215199 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386968224624 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) S 9238 9238 8752 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 517215201 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386966121328 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) S 9238 9238 8752 0 -1 1077944384 415 0 0 0 6 0 0 0 20 0 15 0 517215201 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386965068528 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) R 9238 9238 8752 0 -1 4202560 867 0 0 0 12 0 0 0 20 0 15 0 517215201 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386964015728 140387501776278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215202 15512608768 12541 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51620 KiB
[startup+0.701285 s]
/proc/loadavg: 1.38 1.50 1.55 5/231 9256
/proc/meminfo: memFree=27967744/32770624 swapFree=67024132/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
[pid=9240] ppid=9238 vsize=15151156 memory=75444 CPUtime=1.59 cores=1,3,5,7
/proc/9240/stat : 9240 (java) S 9238 9238 8752 0 -1 1077944320 14987 0 0 0 153 6 0 0 20 0 15 0 517215196 15514783744 18861 33554432000 4194304 4196468 140725374584656 140725374567200 140387501764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
/proc/9240/statm: 3787789 18861 3453 1 0 3748889 0
[pid=9240/tid=9241] ppid=9238 vsize=15151156 memory=12328 CPUtime=0.67 cores=1,3,5,7
/proc/9240/task/9241/stat : 9241 (java) R 9238 9238 8752 0 -1 4202560 9234 0 0 0 64 3 0 0 20 0 15 0 517215196 15514783744 18861 33554432000 4194304 4196468 140725374584656 140387506003312 140387129859706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9242] ppid=9238 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9242/stat : 9242 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15514783744 18861 33554432000 4194304 4196468 140725374584656 140387454385296 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9243] ppid=9238 vsize=15151156 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9243/stat : 9243 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15514783744 18861 33554432000 4194304 4196468 140725374584656 140387453332496 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9244] ppid=9238 vsize=15151156 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9244/stat : 9244 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215197 15514783744 18861 33554432000 4194304 4196468 140725374584656 140387452279696 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9245] ppid=9238 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9245/stat : 9245 (java) S 9238 9238 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517215197 15514783744 18861 33554432000 4194304 4196468 140725374584656 140387451226896 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9246] ppid=9238 vsize=15151156 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9246/stat : 9246 (java) S 9238 9238 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517215198 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386970331504 140387501775490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9247] ppid=9238 vsize=15151156 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9247/stat : 9247 (java) S 9238 9238 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386969277472 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9248] ppid=9238 vsize=15151156 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386968224624 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15151156 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15151156 memory=836 CPUtime=0.23 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) R 9238 9238 8752 0 -1 4202560 1014 0 0 0 23 0 0 0 20 0 15 0 517215201 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386966102344 140387481418304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15151156 memory=1760 CPUtime=0.27 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) R 9238 9238 8752 0 -1 4202560 1400 0 0 0 27 0 0 0 20 0 15 0 517215201 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386965049544 140387486053344 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15151156 memory=111632 CPUtime=0.38 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) S 9238 9238 8752 0 -1 1077944384 2030 0 0 0 37 1 0 0 20 0 15 0 517215201 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386964015728 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517215202 15514783744 18861 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76900 KiB
[startup+1.50088 s]
/proc/loadavg: 1.38 1.50 1.55 5/231 9256
/proc/meminfo: memFree=27932644/32770624 swapFree=67024132/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 117494 33554432000 4194304 4196468 140725374584656 140386968224640 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 117494 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15151156 memory=1456 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) S 9238 9238 8752 0 -1 1077944384 14864 0 0 0 244 2 0 0 20 0 15 0 517215201 15514783744 117494 33554432000 4194304 4196468 140725374584656 140386966121328 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15151156 memory=1456 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) S 9238 9238 8752 0 -1 1077944384 16228 0 0 0 245 1 0 0 20 0 15 0 517215201 15514783744 117494 33554432000 4194304 4196468 140725374584656 140386965068528 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15151156 memory=1456 CPUtime=0.6 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) S 9238 9238 8752 0 -1 1077944384 9304 0 0 0 58 2 0 0 20 0 15 0 517215201 15514783744 117494 33554432000 4194304 4196468 140725374584656 140386964015728 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15151156 memory=291800 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 117494 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15151156 memory=1456 CPUtime=0.5 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1180 0 0 0 22 28 0 0 20 0 15 0 517215202 15514783744 117494 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 2392.2 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 471432 KiB
[startup+2442.3 s]
/proc/loadavg: 1.82 1.74 1.70 3/230 9478
/proc/meminfo: memFree=26663580/32770624 swapFree=67024136/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
[pid=9240] ppid=9238 vsize=15151156 memory=320444 CPUtime=2452.72 cores=1,3,5,7
/proc/9240/stat : 9240 (java) S 9238 9238 8752 0 -1 1077944320 97002 0 0 0 245165 107 0 0 20 0 15 0 517215196 15514783744 80111 33554432000 4194304 4196468 140725374584656 140725374567200 140387501764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
/proc/9240/statm: 3787789 80111 3524 1 0 3748889 0
[pid=9240/tid=9241] ppid=9238 vsize=15151156 memory=426968 CPUtime=2438.99 cores=1,3,5,7
/proc/9240/task/9241/stat : 9241 (java) R 9238 9238 8752 0 -1 4202560 25080 0 0 0 243872 27 0 0 20 0 15 0 517215196 15514783744 80111 33554432000 4194304 4196468 140725374584656 140387506003712 140387136201152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9242] ppid=9238 vsize=15151156 memory=1148240 CPUtime=1.62 cores=1,3,5,7
/proc/9240/task/9242/stat : 9242 (java) S 9238 9238 8752 0 -1 1077944384 5294 0 0 0 151 11 0 0 20 0 15 0 517215197 15514783744 80111 33554432000 4194304 4196468 140725374584656 140387454385296 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9243] ppid=9238 vsize=15151156 memory=320740 CPUtime=1.63 cores=1,3,5,7
/proc/9240/task/9243/stat : 9243 (java) S 9238 9238 8752 0 -1 1077944384 4120 0 0 0 151 12 0 0 20 0 15 0 517215197 15514783744 80111 33554432000 4194304 4196468 140725374584656 140387453332496 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9244] ppid=9238 vsize=15151156 memory=1456 CPUtime=1.61 cores=1,3,5,7
/proc/9240/task/9244/stat : 9244 (java) S 9238 9238 8752 0 -1 1077944384 7240 0 0 0 147 14 0 0 20 0 15 0 517215197 15514783744 80111 33554432000 4194304 4196468 140725374584656 140387452279696 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9245] ppid=9238 vsize=15151156 memory=320740 CPUtime=1.63 cores=1,3,5,7
/proc/9240/task/9245/stat : 9245 (java) S 9238 9238 8752 0 -1 1077944384 4859 0 0 0 150 13 0 0 20 0 15 0 517215197 15514783744 80111 33554432000 4194304 4196468 140725374584656 140387451226896 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9246] ppid=9238 vsize=15151156 memory=1456 CPUtime=1.11 cores=1,3,5,7
/proc/9240/task/9246/stat : 9246 (java) S 9238 9238 8752 0 -1 1077944384 7446 0 0 0 100 11 0 0 20 0 15 0 517215198 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386970331504 140387501775490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9247] ppid=9238 vsize=15151156 memory=24176 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9247/stat : 9247 (java) S 9238 9238 8752 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386969277536 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9248] ppid=9238 vsize=15151156 memory=1217116 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386968224640 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15151156 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15151156 memory=1456 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) S 9238 9238 8752 0 -1 1077944384 14866 0 0 0 244 2 0 0 20 0 15 0 517215201 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386966121328 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15151156 memory=1307076 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) S 9238 9238 8752 0 -1 1077944384 16230 0 0 0 245 1 0 0 20 0 15 0 517215201 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386965068528 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15151156 memory=1170348 CPUtime=0.6 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) S 9238 9238 8752 0 -1 1077944384 9306 0 0 0 58 2 0 0 20 0 15 0 517215201 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386964015728 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15151156 memory=1456 CPUtime=0.51 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1184 0 0 0 22 29 0 0 20 0 15 0 517215202 15514783744 80111 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 2452.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 321900 KiB
[startup+2502.3 s]
/proc/loadavg: 1.86 1.76 1.70 4/228 9513
/proc/meminfo: memFree=27189640/32770624 swapFree=67024136/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
[pid=9240] ppid=9238 vsize=15151156 memory=1165500 CPUtime=2513.05 cores=1,3,5,7
/proc/9240/stat : 9240 (java) S 9238 9238 8752 0 -1 1077944320 100250 0 0 0 251182 123 0 0 20 0 15 0 517215196 15514783744 291375 33554432000 4194304 4196468 140725374584656 140725374567200 140387501764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
/proc/9240/statm: 3787789 291375 3524 1 0 3748889 0
[pid=9240/tid=9241] ppid=9238 vsize=15151156 memory=1140816 CPUtime=2498.83 cores=1,3,5,7
/proc/9240/task/9241/stat : 9241 (java) R 9238 9238 8752 0 -1 4202560 27107 0 0 0 249843 40 0 0 20 0 15 0 517215196 15514783744 291375 33554432000 4194304 4196468 140725374584656 140387506003712 140387134952829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9242] ppid=9238 vsize=15151156 memory=745532 CPUtime=1.73 cores=1,3,5,7
/proc/9240/task/9242/stat : 9242 (java) S 9238 9238 8752 0 -1 1077944384 5481 0 0 0 161 12 0 0 20 0 15 0 517215197 15514783744 291375 33554432000 4194304 4196468 140725374584656 140387454385296 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9243] ppid=9238 vsize=15151156 memory=1002028 CPUtime=1.74 cores=1,3,5,7
/proc/9240/task/9243/stat : 9243 (java) S 9238 9238 8752 0 -1 1077944384 4560 0 0 0 162 12 0 0 20 0 15 0 517215197 15514783744 291375 33554432000 4194304 4196468 140725374584656 140387453332496 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9244] ppid=9238 vsize=15151156 memory=1093528 CPUtime=1.73 cores=1,3,5,7
/proc/9240/task/9244/stat : 9244 (java) S 9238 9238 8752 0 -1 1077944384 7410 0 0 0 158 15 0 0 20 0 15 0 517215197 15514783744 291375 33554432000 4194304 4196468 140725374584656 140387452279696 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9245] ppid=9238 vsize=15151156 memory=1095576 CPUtime=1.74 cores=1,3,5,7
/proc/9240/task/9245/stat : 9245 (java) S 9238 9238 8752 0 -1 1077944384 5099 0 0 0 161 13 0 0 20 0 15 0 517215197 15514783744 291375 33554432000 4194304 4196468 140725374584656 140387451226896 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9246] ppid=9238 vsize=15151156 memory=1456 CPUtime=1.14 cores=1,3,5,7
/proc/9240/task/9246/stat : 9246 (java) S 9238 9238 8752 0 -1 1077944384 7608 0 0 0 103 11 0 0 20 0 15 0 517215198 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386970331504 140387501775490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9247] ppid=9238 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9247/stat : 9247 (java) S 9238 9238 8752 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386969277536 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9248] ppid=9238 vsize=15151156 memory=1094040 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386968224640 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15151156 memory=1140816 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) S 9238 9238 8752 0 -1 1077944384 14868 0 0 0 244 2 0 0 20 0 15 0 517215201 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386966121328 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15151156 memory=5645 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) S 9238 9238 8752 0 -1 1077944384 16232 0 0 0 245 1 0 0 20 0 15 0 517215201 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386965068528 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15151156 memory=2458 CPUtime=0.6 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) S 9238 9238 8752 0 -1 1077944384 9308 0 0 0 58 2 0 0 20 0 15 0 517215201 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386964015728 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15151156 memory=3648 CPUtime=0.52 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1200 0 0 0 23 29 0 0 20 0 15 0 517215202 15514783744 291375 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 2513.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1166956 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.2 s]
/proc/loadavg: 2.11 1.82 1.72 3/230 9560
/proc/meminfo: memFree=26634928/32770624 swapFree=67024136/67108860
[pid=9238] ppid=9235 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9238/stat : 9238 (xcsp3-exec) S 9235 9238 8752 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517215196 115843072 364 33554432000 4194304 5098028 140736818472816 140736818470920 139650685481596 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17588224 140736818479959 140736818480217 140736818480217 140736818483142 0
/proc/9238/statm: 28282 364 305 221 0 87 0
[pid=9240] ppid=9238 vsize=15151156 memory=1303264 CPUtime=2520.05 cores=1,3,5,7
/proc/9240/stat : 9240 (java) S 9238 9238 8752 0 -1 1077944320 100488 0 0 0 251880 125 0 0 20 0 15 0 517215196 15514783744 325816 33554432000 4194304 4196468 140725374584656 140725374567200 140387501764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
/proc/9240/statm: 3787789 325816 3524 1 0 3748889 0
[pid=9240/tid=9241] ppid=9238 vsize=15151156 memory=6944656592455360604 CPUtime=2505.68 cores=1,3,5,7
/proc/9240/task/9241/stat : 9241 (java) R 9238 9238 8752 0 -1 4202560 27336 0 0 0 250526 42 0 0 20 0 15 0 517215196 15514783744 325816 33554432000 4194304 4196468 140725374584656 140387506003600 140387133928540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9242] ppid=9238 vsize=15151156 memory=6944652177228980320 CPUtime=1.77 cores=1,3,5,7
/proc/9240/task/9242/stat : 9242 (java) S 9238 9238 8752 0 -1 1077944384 5482 0 0 0 165 12 0 0 20 0 15 0 517215197 15514783744 325816 33554432000 4194304 4196468 140725374584656 140387454385296 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9243] ppid=9238 vsize=15151156 memory=1456 CPUtime=1.77 cores=1,3,5,7
/proc/9240/task/9243/stat : 9243 (java) S 9238 9238 8752 0 -1 1077944384 4561 0 0 0 165 12 0 0 20 0 15 0 517215197 15514783744 325816 33554432000 4194304 4196468 140725374584656 140387453332496 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9244] ppid=9238 vsize=15151156 memory=1172 CPUtime=1.76 cores=1,3,5,7
/proc/9240/task/9244/stat : 9244 (java) S 9238 9238 8752 0 -1 1077944384 7411 0 0 0 161 15 0 0 20 0 15 0 517215197 15514783744 325816 33554432000 4194304 4196468 140725374584656 140387452279696 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9245] ppid=9238 vsize=15151156 memory=6384 CPUtime=1.77 cores=1,3,5,7
/proc/9240/task/9245/stat : 9245 (java) S 9238 9238 8752 0 -1 1077944384 5101 0 0 0 164 13 0 0 20 0 15 0 517215197 15514783744 325816 33554432000 4194304 4196468 140725374584656 140387451226896 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9246] ppid=9238 vsize=15151156 memory=828 CPUtime=1.14 cores=1,3,5,7
/proc/9240/task/9246/stat : 9246 (java) S 9238 9238 8752 0 -1 1077944384 7610 0 0 0 103 11 0 0 20 0 15 0 517215198 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386970331504 140387501775490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9247] ppid=9238 vsize=15151156 memory=736 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9247/stat : 9247 (java) S 9238 9238 8752 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386969277536 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9248] ppid=9238 vsize=15151156 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9248/stat : 9248 (java) S 9238 9238 8752 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 517215199 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386968224640 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9249] ppid=9238 vsize=15151156 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9249/stat : 9249 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386967172944 140387501782939 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9250] ppid=9238 vsize=15151156 memory=1456 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9250/stat : 9250 (java) S 9238 9238 8752 0 -1 1077944384 14868 0 0 0 244 2 0 0 20 0 15 0 517215201 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386966121328 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9251] ppid=9238 vsize=15151156 memory=1281156 CPUtime=2.46 cores=1,3,5,7
/proc/9240/task/9251/stat : 9251 (java) S 9238 9238 8752 0 -1 1077944384 16232 0 0 0 245 1 0 0 20 0 15 0 517215201 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386965068528 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9252] ppid=9238 vsize=15151156 memory=1456 CPUtime=0.6 cores=1,3,5,7
/proc/9240/task/9252/stat : 9252 (java) S 9238 9238 8752 0 -1 1077944384 9308 0 0 0 58 2 0 0 20 0 15 0 517215201 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386964015728 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9253] ppid=9238 vsize=15151156 memory=2084 CPUtime=0 cores=1,3,5,7
/proc/9240/task/9253/stat : 9253 (java) S 9238 9238 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517215201 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386962963168 140387501774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
[pid=9240/tid=9254] ppid=9238 vsize=15151156 memory=1480 CPUtime=0.52 cores=1,3,5,7
/proc/9240/task/9254/stat : 9254 (java) S 9238 9238 8752 0 -1 1077944384 1202 0 0 0 23 29 0 0 20 0 15 0 517215202 15514783744 325816 33554432000 4194304 4196468 140725374584656 140386961910448 140387501775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35762176 140725374587867 140725374588042 140725374588042 140725374590927 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1304720 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.21 s]
# the end of solver process 9238 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002171 s, system=0.00079 s
[startup+2509.21 s]
# the end of solver process 9240 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.81 s, system=1.26439 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
Child status: 143
Real time (s): 2509.21
CPU time (s): 2520.08
CPU user time (s): 2518.81
CPU system time (s): 1.26439
CPU usage (%): 100.433
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1377840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.81
system time used= 1.26439
maximum resident set size= 1376384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86472
involuntary context switches= 2491
# summary of solver processes directly reported to runsolver:
# pid: 9238,9240
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.81
# total CPU system time (s): 1.26439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8155 second user time and 22.3037 second system time
The end