runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13548 MiB free)
  memory of node 1: 16384 MiB (7763 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263610-1502622787/watcher-4263610-1502622787 -o /tmp/evaluation-result-4263610-1502622787/solver-4263610-1502622787 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502612262-5004 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263610-1502622787.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=7407, runsolver pid=7404

[startup+0.100096 s]*
/proc/loadavg: 1.95 2.00 2.18 3/216 7422
/proc/meminfo: memFree=21801820/32770624 swapFree=67108860/67108860
[pid=7407] ppid=7404 vsize=10555400 memory=32972 CPUtime=0.12 cores=0,2,4,6
/proc/7407/stat : 7407 (java) S 7404 7407 4973 0 -1 1077944320 6774 0 0 0 11 1 0 0 20 0 15 0 95359642 10808729600 8243 33554432000 4194304 4196468 140731278563824 140731278546368 139882629553911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
/proc/7407/statm: 2638850 8243 2825 1 0 2627263 0
[pid=7407/tid=7409] ppid=7404 vsize=10555400 memory=-8824338890780144832 CPUtime=0.09 cores=0,2,4,6
/proc/7407/task/7409/stat : 7409 (java) R 7404 7407 4973 0 -1 4202560 4625 0 0 0 8 1 0 0 20 0 15 0 95359642 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882633766000 139882613634398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7410] ppid=7404 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7410/stat : 7410 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882590513424 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7411] ppid=7404 vsize=10555400 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7411/stat : 7411 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882234878352 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7412] ppid=7404 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7412/stat : 7412 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882233825808 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7413] ppid=7404 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7413/stat : 7413 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882232773264 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7414] ppid=7404 vsize=10555400 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7414/stat : 7414 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359644 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882189355504 139882629565058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7415] ppid=7404 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7415/stat : 7415 (java) S 7404 7407 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359645 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882188301728 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7416] ppid=7404 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7416/stat : 7416 (java) S 7404 7407 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359645 10808729600 8243 33554432000 4194304 4196468 140731278563824 139882187249136 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7417] ppid=7404 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7417/stat : 7417 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359647 10808729600 8243 33554432000 4194304 4196468 140731278563824 139881729747664 139882629572507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7418] ppid=7404 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7418/stat : 7418 (java) S 7404 7407 4973 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 95359647 10808729600 8243 33554432000 4194304 4196468 140731278563824 139881728694256 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7419] ppid=7404 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7419/stat : 7419 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359647 10808729600 8243 33554432000 4194304 4196468 140731278563824 139881727641712 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7420] ppid=7404 vsize=10555400 memory=140307027457664 CPUtime=0.01 cores=0,2,4,6
/proc/7407/task/7420/stat : 7420 (java) R 7404 7407 4973 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 15 0 95359647 10808729600 8243 33554432000 4194304 4196468 140731278563824 139881726589168 139882608963024 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7421] ppid=7404 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7421/stat : 7421 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359648 10808729600 8243 33554432000 4194304 4196468 140731278563824 139881725536864 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7422] ppid=7404 vsize=10555400 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7422/stat : 7422 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359648 10808729600 8243 33554432000 4194304 4196468 140731278563824 139881724484400 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 32972 KiB

[startup+0.210639 s]*
/proc/loadavg: 1.95 2.00 2.18 5/216 7422
/proc/meminfo: memFree=21794184/32770624 swapFree=67108860/67108860
[pid=7407] ppid=7404 vsize=10555400 memory=41716 CPUtime=0.32 cores=0,2,4,6
/proc/7407/stat : 7407 (java) S 7404 7407 4973 0 -1 1077944320 8045 0 0 0 29 3 0 0 20 0 15 0 95359642 10808729600 10429 33554432000 4194304 4196468 140731278563824 140731278546368 139882629553911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
/proc/7407/statm: 2638850 10429 2961 1 0 2627263 0
[pid=7407/tid=7409] ppid=7404 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7407/task/7409/stat : 7409 (java) R 7404 7407 4973 0 -1 4202560 5064 0 0 0 18 1 0 0 20 0 15 0 95359642 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882633792816 139882265480140 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7410] ppid=7404 vsize=10555400 memory=365 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7410/stat : 7410 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882590513424 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7411] ppid=7404 vsize=10555400 memory=140307027466263 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7411/stat : 7411 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882234878352 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7412] ppid=7404 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7412/stat : 7412 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882233825808 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7413] ppid=7404 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7413/stat : 7413 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359643 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882232773264 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7414] ppid=7404 vsize=10555400 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7414/stat : 7414 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359644 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882189355504 139882629565058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7415] ppid=7404 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7415/stat : 7415 (java) S 7404 7407 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359645 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882188301728 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7416] ppid=7404 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7416/stat : 7416 (java) S 7404 7407 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359645 10808729600 10429 33554432000 4194304 4196468 140731278563824 139882187249136 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7417] ppid=7404 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7417/stat : 7417 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359647 10808729600 10429 33554432000 4194304 4196468 140731278563824 139881729747664 139882629572507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7418] ppid=7404 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7407/task/7418/stat : 7418 (java) R 7404 7407 4973 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 15 0 95359647 10808729600 10429 33554432000 4194304 4196468 140731278563824 139881728694352 139882629564117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7419] ppid=7404 vsize=10555400 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7407/task/7419/stat : 7419 (java) R 7404 7407 4973 0 -1 4202560 227 0 0 0 2 0 0 0 20 0 15 0 95359647 10808729600 10429 33554432000 4194304 4196468 140731278563824 139881727640112 139882613947787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7420] ppid=7404 vsize=10555400 memory=140307027457664 CPUtime=0.06 cores=0,2,4,6
/proc/7407/task/7420/stat : 7420 (java) R 7404 7407 4973 0 -1 4202560 861 0 0 0 6 0 0 0 20 0 15 0 95359647 10808729600 10429 33554432000 4194304 4196468 140731278563824 139881726583704 139882608079243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7421] ppid=7404 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7421/stat : 7421 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359648 10808729600 10429 33554432000 4194304 4196468 140731278563824 139881725536864 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7422] ppid=7404 vsize=10555400 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7422/stat : 7422 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359648 10808729600 10429 33554432000 4194304 4196468 140731278563824 139881724484400 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 41716 KiB

[startup+0.31051 s]*
/proc/loadavg: 1.95 2.00 2.18 4/216 7422
/proc/meminfo: memFree=21781292/32770624 swapFree=67108860/67108860
[pid=7407] ppid=7404 vsize=10555476 memory=54264 CPUtime=0.61 cores=0,2,4,6
/proc/7407/stat : 7407 (java) S 7404 7407 4973 0 -1 1077944320 10349 0 0 0 57 4 0 0 20 0 15 0 95359642 10808807424 13566 33554432000 4194304 4196468 140731278563824 140731278546368 139882629553911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
/proc/7407/statm: 2638869 13566 3052 1 0 2627263 0
[pid=7407/tid=7409] ppid=7404 vsize=10555476 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/7407/task/7409/stat : 7409 (java) R 7404 7407 4973 0 -1 4202560 5683 0 0 0 27 2 0 0 20 0 15 0 95359642 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882633790736 139882613634398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7410] ppid=7404 vsize=10555476 memory=304556153373982743 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7410/stat : 7410 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882590513424 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7411] ppid=7404 vsize=10555476 memory=14830006635853464 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7411/stat : 7411 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882234878352 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7412] ppid=7404 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7412/stat : 7412 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882233825808 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7413] ppid=7404 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7413/stat : 7413 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882232773264 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7414] ppid=7404 vsize=10555476 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7414/stat : 7414 (java) S 7404 7407 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95359644 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882189355504 139882629565058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7415] ppid=7404 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7415/stat : 7415 (java) S 7404 7407 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359645 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882188301728 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7416] ppid=7404 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7416/stat : 7416 (java) S 7404 7407 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359645 10808807424 13566 33554432000 4194304 4196468 140731278563824 139882187249136 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7417] ppid=7404 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7417/stat : 7417 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359647 10808807424 13566 33554432000 4194304 4196468 140731278563824 139881729747664 139882629572507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7418] ppid=7404 vsize=10555476 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7407/task/7418/stat : 7418 (java) R 7404 7407 4973 0 -1 1077944384 985 0 0 0 5 0 0 0 20 0 15 0 95359647 10808807424 13566 33554432000 4194304 4196468 140731278563824 139881728694352 139882629564117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7419] ppid=7404 vsize=10555476 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/7407/task/7419/stat : 7419 (java) R 7404 7407 4973 0 -1 4202560 1049 0 0 0 10 0 0 0 20 0 15 0 95359647 10808807424 13566 33554432000 4194304 4196468 140731278563824 139881727632096 139882614677484 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7420] ppid=7404 vsize=10555476 memory=140307027457664 CPUtime=0.13 cores=0,2,4,6
/proc/7407/task/7420/stat : 7420 (java) R 7404 7407 4973 0 -1 4202560 1265 0 0 0 13 0 0 0 20 0 15 0 95359647 10808807424 13566 33554432000 4194304 4196468 140731278563824 139881726589168 139882608256707 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7421] ppid=7404 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7421/stat : 7421 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359648 10808807424 13566 33554432000 4194304 4196468 140731278563824 139881725536864 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7422] ppid=7404 vsize=10555476 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7422/stat : 7422 (java) R 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359648 10808807424 13566 33554432000 4194304 4196468 140731278563824 139881724484400 139882629565058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 54264 KiB

[startup+0.710198 s]
/proc/loadavg: 1.95 2.00 2.18 3/216 7422
/proc/meminfo: memFree=21759136/32770624 swapFree=67108860/67108860
[pid=7407] ppid=7404 vsize=10555476 memory=124784 CPUtime=1.82 cores=0,2,4,6
/proc/7407/stat : 7407 (java) S 7404 7407 4973 0 -1 1077944320 13624 0 0 0 176 6 0 0 20 0 15 0 95359642 10808807424 31196 33554432000 4194304 4196468 140731278563824 140731278546368 139882629553911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
/proc/7407/statm: 2638869 31196 3096 1 0 2627263 0
[pid=7407/tid=7409] ppid=7404 vsize=10555476 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/7407/task/7409/stat : 7409 (java) R 7404 7407 4973 0 -1 4202560 5934 0 0 0 64 3 0 0 20 0 15 0 95359642 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882633785584 139882269137122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7410] ppid=7404 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7410/stat : 7410 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882590513424 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7411] ppid=7404 vsize=10555476 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7411/stat : 7411 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882234878352 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7412] ppid=7404 vsize=10555476 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7412/stat : 7412 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882233825808 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7413] ppid=7404 vsize=10555476 memory=5716 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7413/stat : 7413 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359643 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882232773264 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7414] ppid=7404 vsize=10555476 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7414/stat : 7414 (java) S 7404 7407 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95359644 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882189355504 139882629565058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7415] ppid=7404 vsize=10555476 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7415/stat : 7415 (java) S 7404 7407 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95359645 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882188301728 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7416] ppid=7404 vsize=10555476 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7416/stat : 7416 (java) S 7404 7407 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95359645 10808807424 31196 33554432000 4194304 4196468 140731278563824 139882187249136 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7417] ppid=7404 vsize=10555476 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7417/stat : 7417 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95359647 10808807424 31196 33554432000 4194304 4196468 140731278563824 139881729747664 139882629572507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7418] ppid=7404 vsize=10555476 memory=4639098309541127021 CPUtime=0.38 cores=0,2,4,6
/proc/7407/task/7418/stat : 7418 (java) R 7404 7407 4973 0 -1 4202560 2461 0 0 0 37 1 0 0 20 0 15 0 95359647 10808807424 31196 33554432000 4194304 4196468 140731278563824 139881728680184 139882614663860 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7419] ppid=7404 vsize=10555476 memory=7597685182856913236 CPUtime=0.39 cores=0,2,4,6
/proc/7407/task/7419/stat : 7419 (java) R 7404 7407 4973 0 -1 4202560 2107 0 0 0 39 0 0 0 20 0 15 0 95359647 10808807424 31196 33554432000 4194304 4196468 140731278563824 139881727622728 139882613050699 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7420] ppid=7404 vsize=10555476 memory=7236547281622689387 CPUtime=0.34 cores=0,2,4,6
/proc/7407/task/7420/stat : 7420 (java) S 7404 7407 4973 0 -1 1077944384 1751 0 0 0 34 0 0 0 20 0 15 0 95359647 10808807424 31196 33554432000 4194304 4196468 140731278563824 139881726589168 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7421] ppid=7404 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7421/stat : 7421 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359648 10808807424 31196 33554432000 4194304 4196468 140731278563824 139881725536864 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7422] ppid=7404 vsize=10555476 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7422/stat : 7422 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95359648 10808807424 31196 33554432000 4194304 4196468 140731278563824 139881724484400 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 124784 KiB

[startup+1.1023 s]
# the end of solver process 7407 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.5772 s, system=0.077882 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+0.80124 s]
/proc/loadavg: 1.95 2.00 2.18 3/216 7422
/proc/meminfo: memFree=21759136/32770624 swapFree=67108860/67108860
[pid=7407] ppid=7404 vsize=10622040 memory=141288 CPUtime=2.11 cores=0,2,4,6
/proc/7407/stat : 7407 (java) S 7404 7407 4973 0 -1 1077944320 14215 0 0 0 205 6 0 0 20 0 16 0 95359642 10876968960 35257 33554432000 4194304 4196468 140731278563824 140731278546368 139882629553911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
/proc/7407/statm: 2655510 35257 3096 1 0 2643904 0
[pid=7407/tid=7409] ppid=7404 vsize=10622040 memory=8243114992657236055 CPUtime=0.77 cores=0,2,4,6
/proc/7407/task/7409/stat : 7409 (java) R 7404 7407 4973 0 -1 4202560 5963 0 0 0 73 4 0 0 20 0 16 0 95359642 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882633793696 139882629565846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7410] ppid=7404 vsize=10622040 memory=288293259724457137 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7410/stat : 7410 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359643 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882590513424 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7411] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7411/stat : 7411 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359643 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882234878352 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7412] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7412/stat : 7412 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359643 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882233825808 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7413] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7413/stat : 7413 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95359643 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882232773264 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7414] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7414/stat : 7414 (java) S 7404 7407 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 95359644 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882189355504 139882629565058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7415] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7415/stat : 7415 (java) S 7404 7407 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95359645 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882188301728 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7416] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7416/stat : 7416 (java) S 7404 7407 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95359645 10876968960 35322 33554432000 4194304 4196468 140731278563824 139882187249136 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7417] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7417/stat : 7417 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95359647 10876968960 35322 33554432000 4194304 4196468 140731278563824 139881729747664 139882629572507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7418] ppid=7404 vsize=10622040 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/7407/task/7418/stat : 7418 (java) R 7404 7407 4973 0 -1 4202560 2641 0 0 0 46 1 0 0 20 0 16 0 95359647 10876968960 35322 33554432000 4194304 4196468 140731278563824 139881728680184 139882611097634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7419] ppid=7404 vsize=10622040 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/7407/task/7419/stat : 7419 (java) R 7404 7407 4973 0 -1 4202560 2322 0 0 0 48 0 0 0 20 0 16 0 95359647 10876968960 35322 33554432000 4194304 4196468 140731278563824 139881727622728 139882613085390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7420] ppid=7404 vsize=10622040 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/7407/task/7420/stat : 7420 (java) S 7404 7407 4973 0 -1 1077944384 1930 0 0 0 36 0 0 0 20 0 16 0 95359647 10876968960 35322 33554432000 4194304 4196468 140731278563824 139881726589168 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7421] ppid=7404 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7421/stat : 7421 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95359648 10876968960 35322 33554432000 4194304 4196468 140731278563824 139881725536864 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7422] ppid=7404 vsize=10622040 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7422/stat : 7422 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95359648 10876968960 35322 33554432000 4194304 4196468 140731278563824 139881724484400 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 141288 KiB

[startup+1.00124 s]*
/proc/loadavg: 1.95 2.00 2.18 5/217 7425
/proc/meminfo: memFree=21680832/32770624 swapFree=67108860/67108860
[pid=7407] ppid=7404 vsize=10757112 memory=154200 CPUtime=2.55 cores=0,2,4,6
/proc/7407/stat : 7407 (java) S 7404 7407 4973 0 -1 1077944320 16367 0 0 0 248 7 0 0 20 0 16 0 95359642 11015282688 38550 33554432000 4194304 4196468 140731278563824 140731278546368 139882629553911 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
/proc/7407/statm: 2689278 38550 3099 1 0 2677672 0
[pid=7407/tid=7409] ppid=7404 vsize=10757112 memory=-8253362762721355408 CPUtime=0.84 cores=0,2,4,6
/proc/7407/task/7409/stat : 7409 (java) S 7404 7407 4973 0 -1 1077944384 5972 0 0 0 80 4 0 0 20 0 16 0 95359642 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882633794592 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7410] ppid=7404 vsize=10757112 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7410/stat : 7410 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359643 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882590513424 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7411] ppid=7404 vsize=10757112 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7411/stat : 7411 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359643 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882234878352 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7412] ppid=7404 vsize=10757112 memory=7093283124135942482 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7412/stat : 7412 (java) S 7404 7407 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95359643 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882233825808 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7413] ppid=7404 vsize=10757112 memory=3539886714555217200 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7413/stat : 7413 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95359643 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882232773264 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7414] ppid=7404 vsize=10757112 memory=3979410572658290609 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7414/stat : 7414 (java) S 7404 7407 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 95359644 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882189355504 139882629565058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7415] ppid=7404 vsize=10757112 memory=3533419649928619263 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7415/stat : 7415 (java) S 7404 7407 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95359645 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882188301728 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7416] ppid=7404 vsize=10757112 memory=-7019007797916124576 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7416/stat : 7416 (java) S 7404 7407 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95359645 11015282688 38550 33554432000 4194304 4196468 140731278563824 139882187249136 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7417] ppid=7404 vsize=10757112 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7417/stat : 7417 (java) S 7404 7407 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95359647 11015282688 38550 33554432000 4194304 4196468 140731278563824 139881729747664 139882629572507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7418] ppid=7404 vsize=10757112 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/7407/task/7418/stat : 7418 (java) S 7404 7407 4973 0 -1 1077944384 3078 0 0 0 61 1 0 0 20 0 16 0 95359647 11015282688 38550 33554432000 4194304 4196468 140731278563824 139881728694256 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7419] ppid=7404 vsize=10757112 memory=3472328296227680303 CPUtime=0.68 cores=0,2,4,6
/proc/7407/task/7419/stat : 7419 (java) R 7404 7407 4973 0 -1 4202560 3844 0 0 0 68 0 0 0 20 0 16 0 95359647 11015282688 38550 33554432000 4194304 4196468 140731278563824 139881727627592 139882611098015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7420] ppid=7404 vsize=10757112 memory=3471342703348295344 CPUtime=0.38 cores=0,2,4,6
/proc/7407/task/7420/stat : 7420 (java) S 7404 7407 4973 0 -1 1077944384 2035 0 0 0 37 1 0 0 20 0 16 0 95359647 11015282688 38550 33554432000 4194304 4196468 140731278563824 139881726589168 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7421] ppid=7404 vsize=10757112 memory=3688501078341464111 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7421/stat : 7421 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95359648 11015282688 38550 33554432000 4194304 4196468 140731278563824 139881725536864 139882629564117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7422] ppid=7404 vsize=10757112 memory=140307027457664 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7422/stat : 7422 (java) S 7404 7407 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95359648 11015282688 38550 33554432000 4194304 4196468 140731278563824 139881724484400 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
[pid=7407/tid=7424] ppid=7404 vsize=10757112 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7407/task/7424/stat : 7424 (java) S 7404 7407 4973 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95359729 11015282688 38550 33554432000 4194304 4196468 140731278563824 139881722377872 139882629565058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34897920 140731278570630 140731278570783 140731278570783 140731278573519 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 10757112 KiB
Current children cumulated memory: 154200 KiB

Child status: 0
Real time (s): 1.10235
CPU time (s): 2.65508
CPU user time (s): 2.5772
CPU system time (s): 0.077882
CPU usage (%): 240.857
Max. virtual memory (cumulated for all children) (KiB): 10757112
Max. memory (cumulated for all children) (KiB): 154200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.5772
system time used= 0.077882
maximum resident set size= 158812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1468
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 7407
#   total CPU time (s): 2.65508
#   total CPU user time (s): 2.5772
#   total CPU system time (s): 0.077882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030648 second user time and 0.056013 second system time

The end