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-4262576-1502450027/watcher-4262576-1502450027 -o /tmp/evaluation-result-4262576-1502450027/solver-4262576-1502450027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580 bin/concrete HOME/instance-4262576-1502450027.xml
pid=10394
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.23 1.30 1.44 3/194 10397
/proc/meminfo: memFree=30611048/32770624 swapFree=0/505172
[pid=10397] ppid=10394 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10397/stat : 10397 (runsolver) D 10394 10397 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47223537 24240128 106 18446744073709551615 4194304 4338465 140728667444912 140728667442552 140540296131287 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 36126720 140728667447505 140728667447881 140728667447881 140728667451338 0
/proc/10397/statm: 5918 106 53 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.23 1.30 1.44 3/194 10397
/proc/meminfo: memFree=30611048/32770624 swapFree=0/505172
[pid=10397] ppid=10394 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/10397/stat : 10397 (bash) S 10394 10397 1330 0 -1 4202496 897 6483 0 0 0 0 0 1 20 0 1 0 47223537 9867264 377 18446744073709551615 4194304 5098028 140732527989584 140732527983592 139664237333504 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 33480704 140732527997460 140732527997545 140732527997545 140732528001002 0
/proc/10397/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200287 s]
/proc/loadavg: 1.23 1.30 1.44 3/194 10397
/proc/meminfo: memFree=30611048/32770624 swapFree=0/505172
[pid=10397] ppid=10394 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/10397/stat : 10397 (bash) S 10394 10397 1330 0 -1 4202496 897 6483 0 0 0 0 0 1 20 0 1 0 47223537 9867264 377 18446744073709551615 4194304 5098028 140732527989584 140732527983592 139664237333504 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 33480704 140732527997460 140732527997545 140732527997545 140732528001002 0
/proc/10397/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300317 s]
/proc/loadavg: 1.23 1.30 1.44 3/194 10397
/proc/meminfo: memFree=30611048/32770624 swapFree=0/505172
[pid=10397] ppid=10394 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/10397/stat : 10397 (java) S 10394 10397 1330 0 -1 1077944320 5744 12591 0 0 5 1 5 3 20 0 14 0 47223537 14241083392 5420 18446744073709551615 4194304 4196468 140727846694640 140727846677184 139643942735607 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
/proc/10397/statm: 3476827 5420 2561 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.700249 s]
/proc/loadavg: 1.23 1.30 1.44 3/194 10397
/proc/meminfo: memFree=30611048/32770624 swapFree=0/505172
[pid=10397] ppid=10394 vsize=13974784 CPUtime=0.7 cores=0,2,4,6
/proc/10397/stat : 10397 (java) S 10394 10397 1330 0 -1 1077944320 13879 12591 0 0 59 3 5 3 20 0 15 0 47223537 14310178816 14265 18446744073709551615 4194304 4196468 140727846694640 140727846677184 139643942735607 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
/proc/10397/statm: 3493696 14265 3115 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50069 s]
/proc/loadavg: 1.23 1.30 1.44 3/209 10460
/proc/meminfo: memFree=30514668/32770624 swapFree=0/505716
[pid=10397] ppid=10394 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/10397/stat : 10397 (java) S 10394 10397 1330 0 -1 1077944320 29673 12591 0 0 171 10 5 3 20 0 15 0 47223537 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 140727846677184 139643942735607 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
/proc/10397/statm: 3496352 39649 3366 1 0 3485525 0
[pid=10397/tid=10447] ppid=10394 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/10397/task/10447/stat : 10447 (java) S 10394 10397 1330 0 -1 1077944384 22653 12591 0 0 115 7 5 3 20 0 15 0 47223558 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643946957664 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10448] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10448/stat : 10448 (java) S 10394 10397 1330 0 -1 1077944384 43 12591 0 0 0 0 5 3 20 0 15 0 47223559 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643884681744 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10449] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10449/stat : 10449 (java) S 10394 10397 1330 0 -1 1077944384 58 12591 0 0 0 0 5 3 20 0 15 0 47223559 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643883629200 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10450] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10450/stat : 10450 (java) S 10394 10397 1330 0 -1 1077944384 201 12591 0 0 0 0 5 3 20 0 15 0 47223559 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643541002512 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10451] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10451/stat : 10451 (java) S 10394 10397 1330 0 -1 1077944384 57 12591 0 0 0 0 5 3 20 0 15 0 47223559 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643539949968 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10452] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10452/stat : 10452 (java) R 10394 10397 1330 0 -1 4202560 1282 12591 0 0 0 0 5 3 20 0 15 0 47223560 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643488396352 139643928427303 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10453] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10453/stat : 10453 (java) S 10394 10397 1330 0 -1 1077944384 33 12591 0 0 0 0 5 3 20 0 15 0 47223561 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643487344288 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10454] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10454/stat : 10454 (java) S 10394 10397 1330 0 -1 1077944384 21 12591 0 0 0 0 5 3 20 0 15 0 47223561 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643486291184 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10455] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10455/stat : 10455 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643485239760 139643942754203 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10456] ppid=10394 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/10397/task/10456/stat : 10456 (java) S 10394 10397 1330 0 -1 1077944384 737 12591 0 0 12 0 5 3 20 0 15 0 47223564 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643484186864 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10457] ppid=10394 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/10397/task/10457/stat : 10457 (java) S 10394 10397 1330 0 -1 1077944384 1021 12591 0 0 16 0 5 3 20 0 15 0 47223564 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643483134320 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10458] ppid=10394 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/10397/task/10458/stat : 10458 (java) S 10394 10397 1330 0 -1 1077944384 1395 12591 0 0 23 0 5 3 20 0 15 0 47223564 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643482076640 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10459] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10459/stat : 10459 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643481028960 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10460] ppid=10394 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10460/stat : 10460 (java) S 10394 10397 1330 0 -1 1077944384 10 12591 0 0 0 0 5 3 20 0 15 0 47223568 14321057792 39649 18446744073709551615 4194304 4196468 140727846694640 139643412540464 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10397 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60605 s]
/proc/loadavg: 1.23 1.30 1.44 3/209 10460
/proc/meminfo: memFree=30514668/32770624 swapFree=0/505716
[pid=10397] ppid=10394 vsize=13987456 CPUtime=2.11 cores=0,2,4,6
/proc/10397/stat : 10397 (java) S 10394 10397 1330 0 -1 1077944320 30396 12591 0 0 192 11 5 3 20 0 15 0 47223537 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 140727846677184 139643942735607 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
/proc/10397/statm: 3496864 42832 3374 1 0 3486037 0
[pid=10397/tid=10447] ppid=10394 vsize=13987456 CPUtime=1.39 cores=0,2,4,6
/proc/10397/task/10447/stat : 10447 (java) R 10394 10397 1330 0 -1 4202560 22826 12591 0 0 124 7 5 3 20 0 15 0 47223558 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643946969000 139643563682665 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10448] ppid=10394 vsize=13987456 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10448/stat : 10448 (java) S 10394 10397 1330 0 -1 1077944384 48 12591 0 0 1 0 5 3 20 0 15 0 47223559 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643884681744 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10449] ppid=10394 vsize=13987456 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10449/stat : 10449 (java) S 10394 10397 1330 0 -1 1077944384 58 12591 0 0 1 0 5 3 20 0 15 0 47223559 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643883629200 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10450] ppid=10394 vsize=13987456 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10450/stat : 10450 (java) S 10394 10397 1330 0 -1 1077944384 201 12591 0 0 1 0 5 3 20 0 15 0 47223559 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643541002512 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10451] ppid=10394 vsize=13987456 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10451/stat : 10451 (java) S 10394 10397 1330 0 -1 1077944384 60 12591 0 0 1 0 5 3 20 0 15 0 47223559 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643539949968 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10452] ppid=10394 vsize=13987456 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10452/stat : 10452 (java) S 10394 10397 1330 0 -1 1077944384 1467 12591 0 0 0 0 5 3 20 0 15 0 47223560 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643488398064 139643942746754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10453] ppid=10394 vsize=13987456 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10453/stat : 10453 (java) S 10394 10397 1330 0 -1 1077944384 55 12591 0 0 0 0 5 3 20 0 15 0 47223561 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643487344352 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10454] ppid=10394 vsize=13987456 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10454/stat : 10454 (java) S 10394 10397 1330 0 -1 1077944384 44 12591 0 0 0 0 5 3 20 0 15 0 47223561 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643486291200 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10455] ppid=10394 vsize=13987456 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10455/stat : 10455 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643485239760 139643942754203 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10456] ppid=10394 vsize=13987456 CPUtime=0.22 cores=0,2,4,6
/proc/10397/task/10456/stat : 10456 (java) S 10394 10397 1330 0 -1 1077944384 864 12591 0 0 14 0 5 3 20 0 15 0 47223564 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643484186864 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10457] ppid=10394 vsize=13987456 CPUtime=0.26 cores=0,2,4,6
/proc/10397/task/10457/stat : 10457 (java) S 10394 10397 1330 0 -1 1077944384 1050 12591 0 0 18 0 5 3 20 0 15 0 47223564 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643483134320 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10458] ppid=10394 vsize=13987456 CPUtime=0.35 cores=0,2,4,6
/proc/10397/task/10458/stat : 10458 (java) S 10394 10397 1330 0 -1 1077944384 1552 12591 0 0 27 0 5 3 20 0 15 0 47223564 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643482081264 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10459] ppid=10394 vsize=13987456 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10459/stat : 10459 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643481028960 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10460] ppid=10394 vsize=13987456 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10460/stat : 10460 (java) S 10394 10397 1330 0 -1 1077944384 10 12591 0 0 0 0 5 3 20 0 15 0 47223568 14323154944 42832 18446744073709551615 4194304 4196468 140727846694640 139643412540464 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 13987456
[startup+2.00065 s]
/proc/loadavg: 1.23 1.30 1.44 3/209 10460
/proc/meminfo: memFree=30514668/32770624 swapFree=0/505716
[pid=10397] ppid=10394 vsize=13989524 CPUtime=2.9 cores=0,2,4,6
/proc/10397/stat : 10397 (java) S 10394 10397 1330 0 -1 1077944320 32140 12591 0 0 270 12 5 3 20 0 15 0 47223537 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 140727846677184 139643942735607 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
/proc/10397/statm: 3497381 44578 3388 1 0 3486549 0
[pid=10397/tid=10447] ppid=10394 vsize=13989524 CPUtime=1.78 cores=0,2,4,6
/proc/10397/task/10447/stat : 10447 (java) R 10394 10397 1330 0 -1 4202560 23678 12591 0 0 163 7 5 3 20 0 15 0 47223558 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643946964848 139643942747542 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10448] ppid=10394 vsize=13989524 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10448/stat : 10448 (java) S 10394 10397 1330 0 -1 1077944384 48 12591 0 0 1 0 5 3 20 0 15 0 47223559 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643884681744 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10449] ppid=10394 vsize=13989524 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10449/stat : 10449 (java) S 10394 10397 1330 0 -1 1077944384 58 12591 0 0 1 0 5 3 20 0 15 0 47223559 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643883629200 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10450] ppid=10394 vsize=13989524 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10450/stat : 10450 (java) S 10394 10397 1330 0 -1 1077944384 201 12591 0 0 1 0 5 3 20 0 15 0 47223559 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643541002512 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10451] ppid=10394 vsize=13989524 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10451/stat : 10451 (java) S 10394 10397 1330 0 -1 1077944384 60 12591 0 0 1 0 5 3 20 0 15 0 47223559 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643539949968 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10452] ppid=10394 vsize=13989524 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10452/stat : 10452 (java) S 10394 10397 1330 0 -1 1077944384 1469 12591 0 0 1 0 5 3 20 0 15 0 47223560 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643488398064 139643942746754 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10453] ppid=10394 vsize=13989524 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10453/stat : 10453 (java) S 10394 10397 1330 0 -1 1077944384 55 12591 0 0 0 0 5 3 20 0 15 0 47223561 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643487344352 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10454] ppid=10394 vsize=13989524 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10454/stat : 10454 (java) S 10394 10397 1330 0 -1 1077944384 44 12591 0 0 0 0 5 3 20 0 15 0 47223561 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643486291200 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10455] ppid=10394 vsize=13989524 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10455/stat : 10455 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643485239760 139643942754203 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10456] ppid=10394 vsize=13989524 CPUtime=0.29 cores=0,2,4,6
/proc/10397/task/10456/stat : 10456 (java) R 10394 10397 1330 0 -1 4202560 920 12591 0 0 21 0 5 3 20 0 15 0 47223564 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643484172704 139643922069184 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10457] ppid=10394 vsize=13989524 CPUtime=0.34 cores=0,2,4,6
/proc/10397/task/10457/stat : 10457 (java) R 10394 10397 1330 0 -1 1077944384 1128 12591 0 0 26 0 5 3 20 0 15 0 47223564 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643483134320 139643942746754 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10458] ppid=10394 vsize=13989524 CPUtime=0.6 cores=0,2,4,6
/proc/10397/task/10458/stat : 10458 (java) R 10394 10397 1330 0 -1 4202560 2307 12591 0 0 52 0 5 3 20 0 15 0 47223564 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643482081264 139643924299136 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10459] ppid=10394 vsize=13989524 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10459/stat : 10459 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643481028960 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10460] ppid=10394 vsize=13989524 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10460/stat : 10460 (java) S 10394 10397 1330 0 -1 1077944384 10 12591 0 0 0 0 5 3 20 0 15 0 47223568 14325272576 44578 18446744073709551615 4194304 4196468 140727846694640 139643412540464 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 13989524
[startup+2.40055 s]
/proc/loadavg: 1.23 1.30 1.44 3/209 10460
/proc/meminfo: memFree=30442844/32770624 swapFree=0/505716
[pid=10397] ppid=10394 vsize=13995836 CPUtime=3.68 cores=0,2,4,6
/proc/10397/stat : 10397 (java) S 10394 10397 1330 0 -1 1077944320 36190 12591 0 0 347 13 5 3 20 0 15 0 47223537 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 140727846677184 139643942735607 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
/proc/10397/statm: 3498959 46674 3439 1 0 3487573 0
[pid=10397/tid=10447] ppid=10394 vsize=13995836 CPUtime=2.18 cores=0,2,4,6
/proc/10397/task/10447/stat : 10447 (java) R 10394 10397 1330 0 -1 4202560 26612 12591 0 0 202 8 5 3 20 0 15 0 47223558 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643946967536 139643935071824 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10448] ppid=10394 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10448/stat : 10448 (java) S 10394 10397 1330 0 -1 1077944384 48 12591 0 0 1 0 5 3 20 0 15 0 47223559 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643884681744 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10449] ppid=10394 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10449/stat : 10449 (java) S 10394 10397 1330 0 -1 1077944384 58 12591 0 0 1 0 5 3 20 0 15 0 47223559 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643883629200 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10450] ppid=10394 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10450/stat : 10450 (java) S 10394 10397 1330 0 -1 1077944384 201 12591 0 0 1 0 5 3 20 0 15 0 47223559 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643541002512 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10451] ppid=10394 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10451/stat : 10451 (java) S 10394 10397 1330 0 -1 1077944384 60 12591 0 0 1 0 5 3 20 0 15 0 47223559 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643539949968 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10452] ppid=10394 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/10397/task/10452/stat : 10452 (java) S 10394 10397 1330 0 -1 1077944384 1469 12591 0 0 1 0 5 3 20 0 15 0 47223560 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643488398064 139643942746754 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10453] ppid=10394 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10453/stat : 10453 (java) S 10394 10397 1330 0 -1 1077944384 55 12591 0 0 0 0 5 3 20 0 15 0 47223561 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643487344352 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10454] ppid=10394 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10454/stat : 10454 (java) S 10394 10397 1330 0 -1 1077944384 44 12591 0 0 0 0 5 3 20 0 15 0 47223561 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643486291200 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10455] ppid=10394 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10455/stat : 10455 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643485239760 139643942754203 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10456] ppid=10394 vsize=13995836 CPUtime=0.41 cores=0,2,4,6
/proc/10397/task/10456/stat : 10456 (java) S 10394 10397 1330 0 -1 1077944384 1182 12591 0 0 33 0 5 3 20 0 15 0 47223564 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643484186864 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10457] ppid=10394 vsize=13995836 CPUtime=0.45 cores=0,2,4,6
/proc/10397/task/10457/stat : 10457 (java) S 10394 10397 1330 0 -1 1077944384 1181 12591 0 0 37 0 5 3 20 0 15 0 47223564 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643483134320 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10458] ppid=10394 vsize=13995836 CPUtime=0.76 cores=0,2,4,6
/proc/10397/task/10458/stat : 10458 (java) S 10394 10397 1330 0 -1 1077944384 3105 12591 0 0 67 1 5 3 20 0 15 0 47223564 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643482081264 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10459] ppid=10394 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10459/stat : 10459 (java) S 10394 10397 1330 0 -1 1077944384 3 12591 0 0 0 0 5 3 20 0 15 0 47223564 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643481028960 139643942745813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
[pid=10397/tid=10460] ppid=10394 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/10397/task/10460/stat : 10460 (java) S 10394 10397 1330 0 -1 1077944384 13 12591 0 0 0 0 5 3 20 0 15 0 47223568 14331736064 46674 18446744073709551615 4194304 4196468 140727846694640 139643412540464 139643942746754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36675584 140727846696912 140727846699697 140727846699697 140727846703055 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 13995836
Child status: 0
Real time (s): 2.47106
CPU time (s): 3.8379
CPU user time (s): 3.6602
CPU system time (s): 0.177695
CPU usage (%): 155.314
Max. virtual memory (cumulated for all children) (KiB): 13995836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.6602
system time used= 0.177695
maximum resident set size= 188328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4273
involuntary context switches= 23
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.013041 second user time and 0.018057 second system time
The end