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-4247447-1500690200/watcher-4247447-1500690200 -o /tmp/evaluation-result-4247447-1500690200/solver-4247447-1500690200 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 602062729 HOME/instance-4247447-1500690200.xml
pid=7369
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.02 3.34 4.99 2/262 7372
/proc/meminfo: memFree=27367308/32770624 swapFree=5804/259588
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 2.02 3.34 4.99 2/262 7372
/proc/meminfo: memFree=27367308/32770624 swapFree=5804/259588
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200279 s]
/proc/loadavg: 2.02 3.34 4.99 2/262 7372
/proc/meminfo: memFree=27367308/32770624 swapFree=5804/259588
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30026 s]
/proc/loadavg: 2.02 3.34 4.99 2/262 7372
/proc/meminfo: memFree=27367308/32770624 swapFree=5804/259588
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700174 s]
/proc/loadavg: 2.02 3.34 4.99 2/262 7372
/proc/meminfo: memFree=27367308/32770624 swapFree=5804/259588
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7373 sig 9
??? kill 7372 sig 9
??? kill -7372 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800284 s]
/proc/loadavg: 2.02 3.34 4.99 2/262 7372
/proc/meminfo: memFree=27367308/32770624 swapFree=5804/259588
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.00025 s]
/proc/loadavg: 2.02 3.34 4.99 2/262 7372
/proc/meminfo: memFree=27367308/32770624 swapFree=5804/259588
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.10028 s]
/proc/loadavg: 2.26 3.37 4.99 14/291 7497
/proc/meminfo: memFree=27193940/32770624 swapFree=5804/259616
[pid=7372] ppid=7369 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7372/stat : 7372 (xcsp3-exec) S 7369 7372 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4286285 9740288 345 33554432000 4194304 5098028 140720438475520 140720438473624 140077488419452 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30015488 140720438477967 140720438478176 140720438478176 140720438480875 0
/proc/7372/statm: 2378 345 289 221 0 87 0
[pid=7373] ppid=7372 vsize=13868332 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/7373/stat : 7373 (java) S 7372 7372 14782 0 -1 1077944320 17006 0 0 0 420 13 0 0 20 0 28 0 4286285 14201171968 46436 33554432000 4194304 4196468 140723416782880 140723416765424 140553533869815 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
/proc/7373/statm: 3467083 46436 3239 1 0 3454316 0
[pid=7373/tid=7374] ppid=7372 vsize=13868332 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7374/stat : 7374 (java) S 7372 7372 14782 0 -1 1077944384 6999 0 0 0 73 3 0 0 20 0 28 0 4286285 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553538110592 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7376] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7376/stat : 7376 (java) S 7372 7372 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4286286 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553486490128 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7377] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7377/stat : 7377 (java) S 7372 7372 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4286286 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553485437584 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7378] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7378/stat : 7378 (java) S 7372 7372 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4286286 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553484384528 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7379] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7379/stat : 7379 (java) S 7372 7372 14782 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4286286 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553483331984 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7380] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7380/stat : 7380 (java) S 7372 7372 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4286286 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553482279952 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7381] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7381/stat : 7381 (java) S 7372 7372 14782 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4286286 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553481227408 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7382] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7382/stat : 7382 (java) S 7372 7372 14782 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4286286 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553480174352 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7383] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7383/stat : 7383 (java) S 7372 7372 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4286287 14201171968 46436 33554432000 4194304 4196468 140723416782880 140553479121808 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7384] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7384/stat : 7384 (java) S 7372 7372 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4286289 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552600271088 140553533880962 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7385] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7385/stat : 7385 (java) S 7372 7372 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4286290 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552599217312 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7386] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7386/stat : 7386 (java) S 7372 7372 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4286290 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552598164208 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7387] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7387/stat : 7387 (java) S 7372 7372 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4286294 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552597112784 140553533888411 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7388] ppid=7372 vsize=13868332 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7388/stat : 7388 (java) R 7372 7372 14782 0 -1 4202560 1403 0 0 0 49 0 0 0 20 0 28 0 4286294 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552596042064 140553513723435 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7389] ppid=7372 vsize=13868332 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7389/stat : 7389 (java) R 7372 7372 14782 0 -1 4202560 1340 0 0 0 52 0 0 0 20 0 28 0 4286294 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552594994936 140553526966280 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7390] ppid=7372 vsize=13868332 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7390/stat : 7390 (java) R 7372 7372 14782 0 -1 4202560 1171 0 0 0 40 0 0 0 20 0 28 0 4286294 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552593941336 140553526159264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7391] ppid=7372 vsize=13868332 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7391/stat : 7391 (java) R 7372 7372 14782 0 -1 4202560 2510 0 0 0 68 1 0 0 20 0 28 0 4286294 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552592902768 140553512825401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7392] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7392/stat : 7392 (java) S 7372 7372 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4286294 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552591849952 140553533880021 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7393] ppid=7372 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7393/stat : 7393 (java) S 7372 7372 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4286294 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552590797488 140553533880962 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7490] ppid=7372 vsize=13868332 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7490/stat : 7490 (java) R 7372 7372 14782 0 -1 4202560 17 0 0 0 10 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552576966376 140553161688709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7491] ppid=7372 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7491/stat : 7491 (java) R 7372 7372 14782 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552580125568 140553162291904 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7492] ppid=7372 vsize=13868332 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7492/stat : 7492 (java) R 7372 7372 14782 0 -1 4202560 25 0 0 0 11 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552581177528 140553162833017 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7493] ppid=7372 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7493/stat : 7493 (java) R 7372 7372 14782 0 -1 4202560 18 0 0 0 15 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552583283232 140553160777724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7494] ppid=7372 vsize=13868332 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7494/stat : 7494 (java) R 7372 7372 14782 0 -1 4202560 19 0 0 0 14 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552575914136 140553162706664 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7495] ppid=7372 vsize=13868332 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7495/stat : 7495 (java) R 7372 7372 14782 0 -1 4202560 17 0 0 0 14 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552578022264 140553162386467 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7496] ppid=7372 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7496/stat : 7496 (java) R 7372 7372 14782 0 -1 4202560 17 0 0 0 15 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552574861672 140553157114516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
[pid=7373/tid=7497] ppid=7372 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/7373/task/7497/stat : 7497 (java) R 7372 7372 14782 0 -1 4202560 17 0 0 0 9 0 0 0 20 0 28 0 4286376 14201171968 46436 33554432000 4194304 4196468 140723416782880 140552579074208 140553162745865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30703616 140723416786108 140723416786284 140723416786284 140723416788943 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 13877844
Child status: 0
Real time (s): 1.15776
CPU time (s): 4.59514
CPU user time (s): 4.45046
CPU system time (s): 0.144679
CPU usage (%): 396.901
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.45046
system time used= 0.144679
maximum resident set size= 188044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4061
involuntary context switches= 549
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016904 second user time and 0.020285 second system time
The end