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-4244919-1500699276/watcher-4244919-1500699276 -o /tmp/evaluation-result-4244919-1500699276/solver-4244919-1500699276 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25081 --watchdog 2560 bin/concrete HOME/instance-4244919-1500699276.xml
pid=25406
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: 1.90 1.90 2.85 3/265 25409
/proc/meminfo: memFree=28418964/32770624 swapFree=5884/318596
[pid=25409] ppid=25406 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (bash) S 25406 25409 16913 0 -1 4202496 686 1530 0 0 0 0 0 0 20 0 1 0 5194578 9736192 351 33554432000 4194304 5098028 140736932710432 140736932708072 139852215766016 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 29851648 140736932713742 140736932713827 140736932713827 140736932716526 0
/proc/25409/statm: 2377 351 278 221 0 86 0
[startup+0.100072 s]
/proc/loadavg: 1.90 1.90 2.85 3/265 25409
/proc/meminfo: memFree=28418964/32770624 swapFree=5884/318596
[pid=25409] ppid=25406 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (bash) S 25406 25409 16913 0 -1 4202496 885 6403 0 0 0 0 0 1 20 0 1 0 5194578 9871360 378 33554432000 4194304 5098028 140736932710432 140736932704440 139852215766016 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 29851648 140736932713742 140736932713827 140736932713827 140736932716526 0
/proc/25409/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200323 s]
/proc/loadavg: 1.90 1.90 2.85 3/265 25409
/proc/meminfo: memFree=28418964/32770624 swapFree=5884/318596
[pid=25409] ppid=25406 vsize=10901808 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 5818 12562 0 0 7 1 7 4 20 0 20 0 5194578 11163451392 6582 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2725452 6648 2635 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901808
[startup+0.300288 s]
/proc/loadavg: 1.90 1.90 2.85 3/265 25409
/proc/meminfo: memFree=28418964/32770624 swapFree=5884/318596
[pid=25409] ppid=25406 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 9651 12562 0 0 22 2 7 4 20 0 20 0 5194578 11164049408 10727 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2725598 10727 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392
[startup+0.700214 s]
/proc/loadavg: 1.90 1.90 2.85 3/265 25409
/proc/meminfo: memFree=28418964/32770624 swapFree=5884/318596
[pid=25409] ppid=25406 vsize=10902720 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 13139 12562 0 0 86 4 7 4 20 0 20 0 5194578 11164385280 16478 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2725680 16478 3237 1 0 2713890 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10902720
[startup+1.50097 s]
/proc/loadavg: 1.90 1.90 2.85 3/285 25482
/proc/meminfo: memFree=28309260/32770624 swapFree=5884/318612
[pid=25409] ppid=25406 vsize=10915392 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 27511 12562 0 0 210 11 7 4 20 0 20 0 5194578 11177361408 44268 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2728848 44268 3409 1 0 2716962 0
[pid=25409/tid=25464] ppid=25406 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25464/stat : 25464 (java) R 25406 25409 16913 0 -1 4202560 19618 12562 0 0 127 4 7 4 20 0 20 0 5194590 11177361408 44268 33554432000 4194304 4196468 140725622667584 139826342060144 139825965510409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25465] ppid=25406 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25465/stat : 25465 (java) S 25406 25409 16913 0 -1 1077944384 35 12562 0 0 1 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139826290461712 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25466] ppid=25406 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25466/stat : 25466 (java) S 25406 25409 16913 0 -1 1077944384 130 12562 0 0 1 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139826289409168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25467] ppid=25406 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25467/stat : 25467 (java) S 25406 25409 16913 0 -1 1077944384 56 12562 0 0 0 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139826288356112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25468] ppid=25406 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25468/stat : 25468 (java) S 25406 25409 16913 0 -1 1077944384 38 12562 0 0 1 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139826287303568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25469] ppid=25406 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25469/stat : 25469 (java) S 25406 25409 16913 0 -1 1077944384 8 12562 0 0 1 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139826286250512 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25470] ppid=25406 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25470/stat : 25470 (java) S 25406 25409 16913 0 -1 1077944384 17 12562 0 0 1 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825938881168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25471] ppid=25406 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25471/stat : 25471 (java) S 25406 25409 16913 0 -1 1077944384 33 12562 0 0 1 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825937828112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25472] ppid=25406 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25472/stat : 25472 (java) S 25406 25409 16913 0 -1 1077944384 22 12562 0 0 0 0 7 4 20 0 20 0 5194591 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825936775568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25473] ppid=25406 vsize=10915392 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25473/stat : 25473 (java) S 25406 25409 16913 0 -1 1077944384 1650 12562 0 0 1 0 7 4 20 0 20 0 5194593 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825812327152 139826337852034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25474] ppid=25406 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25474/stat : 25474 (java) S 25406 25409 16913 0 -1 1077944384 57 12562 0 0 0 0 7 4 20 0 20 0 5194594 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825811273376 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25475] ppid=25406 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25475/stat : 25475 (java) S 25406 25409 16913 0 -1 1077944384 44 12562 0 0 0 0 7 4 20 0 20 0 5194594 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825810220288 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25476] ppid=25406 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25476/stat : 25476 (java) S 25406 25409 16913 0 -1 1077944384 1 12562 0 0 0 0 7 4 20 0 20 0 5194597 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825809168848 139826337859483 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25477] ppid=25406 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25477/stat : 25477 (java) S 25406 25409 16913 0 -1 1077944384 982 12562 0 0 15 0 7 4 20 0 20 0 5194597 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825808115952 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25478] ppid=25406 vsize=10915392 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25478/stat : 25478 (java) S 25406 25409 16913 0 -1 1077944384 750 12562 0 0 15 0 7 4 20 0 20 0 5194597 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825807063408 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25479] ppid=25406 vsize=10915392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25479/stat : 25479 (java) S 25406 25409 16913 0 -1 1077944384 483 12562 0 0 12 0 7 4 20 0 20 0 5194597 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825806010352 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25480] ppid=25406 vsize=10915392 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25480/stat : 25480 (java) R 25406 25409 16913 0 -1 4202560 1446 12562 0 0 27 0 7 4 20 0 20 0 5194597 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825804957808 139826316763950 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25481] ppid=25406 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25481/stat : 25481 (java) S 25406 25409 16913 0 -1 1077944384 3 12562 0 0 0 0 7 4 20 0 20 0 5194598 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825803906016 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25482] ppid=25406 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25482/stat : 25482 (java) S 25406 25409 16913 0 -1 1077944384 6 12562 0 0 0 0 7 4 20 0 20 0 5194598 11177361408 44268 33554432000 4194304 4196468 140725622667584 139825802853552 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10915392
[startup+3.10111 s]
/proc/loadavg: 1.90 1.90 2.85 5/285 25482
/proc/meminfo: memFree=28238092/32770624 swapFree=5884/318612
[pid=25409] ppid=25406 vsize=10927868 CPUtime=5.89 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 49400 12562 0 0 558 20 7 4 20 0 20 0 5194578 11190136832 61479 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2731967 61479 3473 1 0 2719522 0
[pid=25409/tid=25464] ppid=25406 vsize=10927868 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25464/stat : 25464 (java) R 25406 25409 16913 0 -1 4202560 33597 12562 0 0 278 7 7 4 20 0 20 0 5194590 11190136832 61479 33554432000 4194304 4196468 140725622667584 139826342065064 139826337852822 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25465] ppid=25406 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25465/stat : 25465 (java) S 25406 25409 16913 0 -1 1077944384 110 12562 0 0 2 1 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139826290461712 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25466] ppid=25406 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25466/stat : 25466 (java) S 25406 25409 16913 0 -1 1077944384 134 12562 0 0 2 0 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139826289409168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25467] ppid=25406 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25467/stat : 25467 (java) S 25406 25409 16913 0 -1 1077944384 63 12562 0 0 2 0 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139826288356112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25468] ppid=25406 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25468/stat : 25468 (java) S 25406 25409 16913 0 -1 1077944384 49 12562 0 0 3 0 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139826287303568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25469] ppid=25406 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25469/stat : 25469 (java) S 25406 25409 16913 0 -1 1077944384 30 12562 0 0 2 0 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139826286250512 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25470] ppid=25406 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25470/stat : 25470 (java) S 25406 25409 16913 0 -1 1077944384 31 12562 0 0 3 0 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825938881168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25471] ppid=25406 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25471/stat : 25471 (java) S 25406 25409 16913 0 -1 1077944384 51 12562 0 0 3 0 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825937828112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25472] ppid=25406 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25472/stat : 25472 (java) S 25406 25409 16913 0 -1 1077944384 28 12562 0 0 2 0 7 4 20 0 20 0 5194591 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825936775568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25473] ppid=25406 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25473/stat : 25473 (java) S 25406 25409 16913 0 -1 1077944384 2341 12562 0 0 4 0 7 4 20 0 20 0 5194593 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825812327152 139826337852034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25474] ppid=25406 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25474/stat : 25474 (java) S 25406 25409 16913 0 -1 1077944384 57 12562 0 0 0 0 7 4 20 0 20 0 5194594 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825811273440 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25475] ppid=25406 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25475/stat : 25475 (java) S 25406 25409 16913 0 -1 1077944384 44 12562 0 0 0 0 7 4 20 0 20 0 5194594 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825810220288 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25476] ppid=25406 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25476/stat : 25476 (java) S 25406 25409 16913 0 -1 1077944384 1 12562 0 0 0 0 7 4 20 0 20 0 5194597 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825809168848 139826337859483 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25477] ppid=25406 vsize=10927868 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25477/stat : 25477 (java) S 25406 25409 16913 0 -1 1077944384 1305 12562 0 0 40 1 7 4 20 0 20 0 5194597 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825808115952 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25478] ppid=25406 vsize=10927868 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25478/stat : 25478 (java) S 25406 25409 16913 0 -1 1077944384 1473 12562 0 0 43 0 7 4 20 0 20 0 5194597 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825807063408 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25479] ppid=25406 vsize=10927868 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25479/stat : 25479 (java) R 25406 25409 16913 0 -1 4202560 4463 12562 0 0 73 1 7 4 20 0 20 0 5194597 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825805997184 139826322232864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25480] ppid=25406 vsize=10927868 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25480/stat : 25480 (java) S 25406 25409 16913 0 -1 1077944384 3484 12562 0 0 93 1 7 4 20 0 20 0 5194597 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825804957808 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25481] ppid=25406 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25481/stat : 25481 (java) S 25406 25409 16913 0 -1 1077944384 3 12562 0 0 0 0 7 4 20 0 20 0 5194598 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825803906016 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25482] ppid=25406 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25482/stat : 25482 (java) S 25406 25409 16913 0 -1 1077944384 7 12562 0 0 0 0 7 4 20 0 20 0 5194598 11190136832 61479 33554432000 4194304 4196468 140725622667584 139825802853552 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 10927868
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25409 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20153 s]
/proc/loadavg: 1.90 1.90 2.85 5/285 25482
/proc/meminfo: memFree=28238092/32770624 swapFree=5884/318612
[pid=25409] ppid=25406 vsize=10929916 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 50143 12562 0 0 595 21 7 4 20 0 20 0 5194578 11192233984 62083 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2732479 62083 3475 1 0 2720034 0
[pid=25409/tid=25464] ppid=25406 vsize=10929916 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25464/stat : 25464 (java) R 25406 25409 16913 0 -1 4202560 33917 12562 0 0 288 8 7 4 20 0 20 0 5194590 11192233984 62083 33554432000 4194304 4196468 140725622667584 139826342059728 139826337852822 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25465] ppid=25406 vsize=10929916 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25465/stat : 25465 (java) S 25406 25409 16913 0 -1 1077944384 110 12562 0 0 2 1 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139826290461712 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25466] ppid=25406 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25466/stat : 25466 (java) S 25406 25409 16913 0 -1 1077944384 134 12562 0 0 2 0 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139826289409168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25467] ppid=25406 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25467/stat : 25467 (java) S 25406 25409 16913 0 -1 1077944384 63 12562 0 0 2 0 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139826288356112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25468] ppid=25406 vsize=10929916 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25468/stat : 25468 (java) S 25406 25409 16913 0 -1 1077944384 49 12562 0 0 3 0 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139826287303568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25469] ppid=25406 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25469/stat : 25469 (java) S 25406 25409 16913 0 -1 1077944384 30 12562 0 0 2 0 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139826286250512 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25470] ppid=25406 vsize=10929916 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25470/stat : 25470 (java) S 25406 25409 16913 0 -1 1077944384 31 12562 0 0 3 0 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825938881168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25471] ppid=25406 vsize=10929916 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25471/stat : 25471 (java) S 25406 25409 16913 0 -1 1077944384 51 12562 0 0 3 0 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825937828112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25472] ppid=25406 vsize=10929916 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25472/stat : 25472 (java) S 25406 25409 16913 0 -1 1077944384 28 12562 0 0 2 0 7 4 20 0 20 0 5194591 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825936775568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25473] ppid=25406 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25473/stat : 25473 (java) S 25406 25409 16913 0 -1 1077944384 2341 12562 0 0 4 0 7 4 20 0 20 0 5194593 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825812327152 139826337852034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25474] ppid=25406 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25474/stat : 25474 (java) S 25406 25409 16913 0 -1 1077944384 57 12562 0 0 0 0 7 4 20 0 20 0 5194594 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825811273440 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25475] ppid=25406 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25475/stat : 25475 (java) S 25406 25409 16913 0 -1 1077944384 44 12562 0 0 0 0 7 4 20 0 20 0 5194594 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825810220288 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25476] ppid=25406 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25476/stat : 25476 (java) S 25406 25409 16913 0 -1 1077944384 1 12562 0 0 0 0 7 4 20 0 20 0 5194597 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825809168848 139826337859483 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25477] ppid=25406 vsize=10929916 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25477/stat : 25477 (java) S 25406 25409 16913 0 -1 1077944384 1433 12562 0 0 47 1 7 4 20 0 20 0 5194597 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825808115952 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25478] ppid=25406 vsize=10929916 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25478/stat : 25478 (java) R 25406 25409 16913 0 -1 4202560 1510 12562 0 0 48 1 7 4 20 0 20 0 5194597 11192233984 62083 33554432000 4194304 4196468 140725622667584 139825807063408 139826317329543 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25479] ppid=25406 vsize=10929916 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25479/stat : 25479 (java) R 25406 25409 16913 0 -1 4202560 4637 12562 0 0 83 1 7 4 20 0 20 0 5194597 11192233984 62135 33554432000 4194304 4196468 140725622667584 139825806002840 139826330937739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25480] ppid=25406 vsize=10929916 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25480/stat : 25480 (java) R 25406 25409 16913 0 -1 4202560 3571 12562 0 0 97 1 7 4 20 0 20 0 5194597 11192233984 62135 33554432000 4194304 4196468 140725622667584 139825804957808 139826316413690 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25481] ppid=25406 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25481/stat : 25481 (java) S 25406 25409 16913 0 -1 1077944384 3 12562 0 0 0 0 7 4 20 0 20 0 5194598 11192233984 62135 33554432000 4194304 4196468 140725622667584 139825803906016 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25482] ppid=25406 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25482/stat : 25482 (java) S 25406 25409 16913 0 -1 1077944384 7 12562 0 0 0 0 7 4 20 0 20 0 5194598 11192233984 62135 33554432000 4194304 4196468 140725622667584 139825802853552 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10929916
[startup+3.60091 s]
/proc/loadavg: 1.90 1.90 2.85 3/285 25482
/proc/meminfo: memFree=28168752/32770624 swapFree=5884/318612
[pid=25409] ppid=25406 vsize=10995452 CPUtime=7.49 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 56050 12562 0 0 715 23 7 4 20 0 20 0 5194578 11259342848 67908 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2748863 67908 3479 1 0 2736418 0
[pid=25409/tid=25464] ppid=25406 vsize=10995452 CPUtime=3.28 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25464/stat : 25464 (java) R 25406 25409 16913 0 -1 4202560 39592 12562 0 0 308 9 7 4 20 0 20 0 5194590 11259342848 67908 33554432000 4194304 4196468 140725622667584 139826342070704 139826323535936 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25465] ppid=25406 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25465/stat : 25465 (java) S 25406 25409 16913 0 -1 1077944384 110 12562 0 0 12 1 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139826290461712 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25466] ppid=25406 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25466/stat : 25466 (java) S 25406 25409 16913 0 -1 1077944384 143 12562 0 0 13 0 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139826289409168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25467] ppid=25406 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25467/stat : 25467 (java) S 25406 25409 16913 0 -1 1077944384 80 12562 0 0 12 0 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139826288356112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25468] ppid=25406 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25468/stat : 25468 (java) S 25406 25409 16913 0 -1 1077944384 61 12562 0 0 12 0 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139826287303568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25469] ppid=25406 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25469/stat : 25469 (java) S 25406 25409 16913 0 -1 1077944384 35 12562 0 0 12 0 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139826286250512 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25470] ppid=25406 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25470/stat : 25470 (java) S 25406 25409 16913 0 -1 1077944384 43 12562 0 0 13 0 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825938881168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25471] ppid=25406 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25471/stat : 25471 (java) S 25406 25409 16913 0 -1 1077944384 61 12562 0 0 13 1 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825937828112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25472] ppid=25406 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25472/stat : 25472 (java) S 25406 25409 16913 0 -1 1077944384 36 12562 0 0 13 0 7 4 20 0 20 0 5194591 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825936775568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25473] ppid=25406 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25473/stat : 25473 (java) S 25406 25409 16913 0 -1 1077944384 2352 12562 0 0 11 0 7 4 20 0 20 0 5194593 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825812327152 139826337852034 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25474] ppid=25406 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25474/stat : 25474 (java) S 25406 25409 16913 0 -1 1077944384 57 12562 0 0 0 0 7 4 20 0 20 0 5194594 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825811273504 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25475] ppid=25406 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25475/stat : 25475 (java) S 25406 25409 16913 0 -1 1077944384 44 12562 0 0 0 0 7 4 20 0 20 0 5194594 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825810220288 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25476] ppid=25406 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25476/stat : 25476 (java) S 25406 25409 16913 0 -1 1077944384 1 12562 0 0 0 0 7 4 20 0 20 0 5194597 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825809168848 139826337859483 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25477] ppid=25406 vsize=10995452 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25477/stat : 25477 (java) R 25406 25409 16913 0 -1 4202560 1436 12562 0 0 49 1 7 4 20 0 20 0 5194597 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825808106336 139826319386251 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25478] ppid=25406 vsize=10995452 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25478/stat : 25478 (java) S 25406 25409 16913 0 -1 1077944384 1523 12562 0 0 52 1 7 4 20 0 20 0 5194597 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825807063408 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25479] ppid=25406 vsize=10995452 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25479/stat : 25479 (java) R 25406 25409 16913 0 -1 4202560 4651 12562 0 0 84 1 7 4 20 0 20 0 5194597 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825805998944 139826318542589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25480] ppid=25406 vsize=10995452 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25480/stat : 25480 (java) S 25406 25409 16913 0 -1 1077944384 3683 12562 0 0 102 1 7 4 20 0 20 0 5194597 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825804957808 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25481] ppid=25406 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25481/stat : 25481 (java) S 25406 25409 16913 0 -1 1077944384 3 12562 0 0 0 0 7 4 20 0 20 0 5194598 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825803906016 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25482] ppid=25406 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25482/stat : 25482 (java) S 25406 25409 16913 0 -1 1077944384 7 12562 0 0 0 0 7 4 20 0 20 0 5194598 11259342848 67908 33554432000 4194304 4196468 140725622667584 139825802853552 139826337852034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 10995452
[startup+4.00115 s]
/proc/loadavg: 1.90 1.90 2.85 3/285 25482
/proc/meminfo: memFree=28168752/32770624 swapFree=5884/318612
[pid=25409] ppid=25406 vsize=11064064 CPUtime=8.52 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) S 25406 25409 16913 0 -1 1077944320 56889 12562 0 0 818 23 7 4 20 0 18 0 5194578 11329601536 68725 33554432000 4194304 4196468 140725622667584 140725622650128 139826337840887 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
/proc/25409/statm: 2766016 68725 3487 1 0 2753571 0
[pid=25409/tid=25464] ppid=25406 vsize=11064064 CPUtime=3.61 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25464/stat : 25464 (java) D 25406 25409 16913 0 -1 4202560 39740 12562 0 0 341 9 7 4 20 0 18 0 5194590 11329601536 68725 33554432000 4194304 4196468 140725622667584 139826342083896 139826330526519 0 0 0 16800975 18446744072100961413 0 0 -1 15 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25465] ppid=25406 vsize=11064064 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25465/stat : 25465 (java) S 25406 25409 16913 0 -1 1077944384 110 12562 0 0 12 1 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139826290461712 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25466] ppid=25406 vsize=11064064 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25466/stat : 25466 (java) S 25406 25409 16913 0 -1 1077944384 143 12562 0 0 13 0 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139826289409168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25467] ppid=25406 vsize=11064064 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25467/stat : 25467 (java) S 25406 25409 16913 0 -1 1077944384 80 12562 0 0 12 0 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139826288356112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25468] ppid=25406 vsize=11064064 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25468/stat : 25468 (java) S 25406 25409 16913 0 -1 1077944384 61 12562 0 0 12 0 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139826287303568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25469] ppid=25406 vsize=11064064 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25469/stat : 25469 (java) S 25406 25409 16913 0 -1 1077944384 35 12562 0 0 12 0 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139826286250512 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25470] ppid=25406 vsize=11064064 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25470/stat : 25470 (java) S 25406 25409 16913 0 -1 1077944384 43 12562 0 0 13 0 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825938881168 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25471] ppid=25406 vsize=11064064 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25471/stat : 25471 (java) S 25406 25409 16913 0 -1 1077944384 61 12562 0 0 13 1 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825937828112 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25472] ppid=25406 vsize=11064064 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25472/stat : 25472 (java) S 25406 25409 16913 0 -1 1077944384 36 12562 0 0 13 0 7 4 20 0 18 0 5194591 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825936775568 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25474] ppid=25406 vsize=11064064 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25474/stat : 25474 (java) S 25406 25409 16913 0 -1 1077944384 57 12562 0 0 0 0 7 4 20 0 18 0 5194594 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825811273504 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25475] ppid=25406 vsize=11064064 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25475/stat : 25475 (java) S 25406 25409 16913 0 -1 1077944384 44 12562 0 0 0 0 7 4 20 0 18 0 5194594 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825810220288 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25476] ppid=25406 vsize=11064064 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25476/stat : 25476 (java) S 25406 25409 16913 0 -1 1077944384 24 12562 0 0 0 0 7 4 20 0 18 0 5194597 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825809167616 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25477] ppid=25406 vsize=11064064 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25477/stat : 25477 (java) S 25406 25409 16913 0 -1 1077944384 1556 12562 0 0 66 1 7 4 20 0 18 0 5194597 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825808100464 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25478] ppid=25406 vsize=11064064 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25478/stat : 25478 (java) S 25406 25409 16913 0 -1 1077944384 1590 12562 0 0 68 1 7 4 20 0 18 0 5194597 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825807047952 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25479] ppid=25406 vsize=11064064 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25479/stat : 25479 (java) S 25406 25409 16913 0 -1 1077944384 4706 12562 0 0 105 1 7 4 20 0 18 0 5194597 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825805989904 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25480] ppid=25406 vsize=11064064 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25480/stat : 25480 (java) S 25406 25409 16913 0 -1 1077944384 4079 12562 0 0 118 1 7 4 20 0 18 0 5194597 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825804953680 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
[pid=25409/tid=25481] ppid=25406 vsize=11064064 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25481/stat : 25481 (java) S 25406 25409 16913 0 -1 1077944384 3 12562 0 0 0 0 7 4 20 0 18 0 5194598 11329601536 68725 33554432000 4194304 4196468 140725622667584 139825803906016 139826337851093 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 18583552 140725622672065 140725622674839 140725622674839 140725622677455 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 11064064
[startup+4.10082 s]
/proc/loadavg: 1.90 1.90 2.85 3/285 25482
/proc/meminfo: memFree=28168752/32770624 swapFree=5884/318612
[pid=25409] ppid=25406 vsize=0 CPUtime=8.54 cores=1,3,5,7,9,11,13,15
/proc/25409/stat : 25409 (java) Z 25406 25409 16913 0 -1 4227084 56908 12562 0 0 818 25 7 4 20 0 2 0 5194578 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/25409/statm: 0 0 0 0 0 0 0
[pid=25409/tid=25480] ppid=25406 vsize=0 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/25409/task/25480/stat : 25480 (java) D 25406 25409 16913 0 -1 4203588 4079 12562 0 0 118 3 7 4 20 0 2 0 5194597 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 4.1967
CPU time (s): 8.5594
CPU user time (s): 8.2654
CPU system time (s): 0.293998
CPU usage (%): 203.956
Max. virtual memory (cumulated for all children) (KiB): 11064064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.2654
system time used= 0.293998
maximum resident set size= 276120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69470
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9852
involuntary context switches= 899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04495 second user time and 0.04495 second system time
The end