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 (8495 MiB free)
memory of node 1: 16384 MiB (15431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273857-1502785068/watcher-4273857-1502785068 -o /tmp/evaluation-result-4273857-1502785068/solver-4273857-1502785068 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 225037806 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273857-1502785068.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4545, runsolver pid=4542
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 1.82 1.91 1.77 3/201 4551
/proc/meminfo: memFree=24494340/32770624 swapFree=67105588/67108860
[pid=4545] ppid=4542 vsize=13440536 memory=15728 CPUtime=0.01 cores=1,3,5,7
/proc/4545/stat : 4545 (java) S 4542 4545 12560 0 -1 1077944320 3787 0 0 0 1 0 0 0 20 0 7 0 80702110 13763108864 3932 18446744073709551615 4194304 4196468 140722376424688 140722376407232 139733794307831 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
/proc/4545/statm: 3360134 3932 2011 1 0 3349631 0
[pid=4545/tid=4547] ppid=4542 vsize=13440536 memory=4206751525541407381 CPUtime=0.01 cores=1,3,5,7
/proc/4545/task/4547/stat : 4547 (java) R 4542 4545 12560 0 -1 4202560 2501 0 0 0 1 0 0 0 20 0 7 0 80702119 13763108864 3998 18446744073709551615 4194304 4196468 140722376424688 139733798550288 139733778388318 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4548] ppid=4542 vsize=13440536 memory=3461361991549258287 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4548/stat : 4548 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 80702120 13763108864 3998 18446744073709551615 4194304 4196468 140722376424688 139733751274512 139733794318037 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4549] ppid=4542 vsize=13440536 memory=140479584380544 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4549/stat : 4549 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 80702120 13763108864 3998 18446744073709551615 4194304 4196468 140722376424688 139733750221968 139733794318037 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4550] ppid=4542 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4550/stat : 4550 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 80702120 13763108864 3998 18446744073709551615 4194304 4196468 140722376424688 139733749168912 139733794318037 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4551] ppid=4542 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4551/stat : 4551 (java) S 4542 4545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 80702120 13763108864 3998 18446744073709551615 4194304 4196468 140722376424688 139733748116368 139733794318037 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4552] ppid=4542 vsize=13440536 memory=140479584380544 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4552/stat : 4552 (java) S 4542 4545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 80702121 13763108864 3998 18446744073709551615 4194304 4196468 140722376424688 139733340150000 139733794318978 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15728 KiB
[startup+0.209725 s]*
/proc/loadavg: 1.82 1.91 1.77 3/210 4560
/proc/meminfo: memFree=24483532/32770624 swapFree=67105588/67108860
[pid=4545] ppid=4542 vsize=13975920 memory=31084 CPUtime=0.1 cores=1,3,5,7
/proc/4545/stat : 4545 (java) S 4542 4545 12560 0 -1 1077944320 7054 0 0 0 9 1 0 0 20 0 15 0 80702110 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 140722376407232 139733794307831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
/proc/4545/statm: 3493980 7771 3387 1 0 3482759 0
[pid=4545/tid=4547] ppid=4542 vsize=13975920 memory=8390339637985935414 CPUtime=0.08 cores=1,3,5,7
/proc/4545/task/4547/stat : 4547 (java) R 4542 4545 12560 0 -1 4202560 5014 0 0 0 7 1 0 0 20 0 15 0 80702119 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733798535872 139733794329757 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4548] ppid=4542 vsize=13975920 memory=4294967624 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4548/stat : 4548 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733751274512 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4549] ppid=4542 vsize=13975920 memory=140479584391188 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4549/stat : 4549 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733750221968 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4550] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4550/stat : 4550 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733749168912 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4551] ppid=4542 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4551/stat : 4551 (java) S 4542 4545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733748116368 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4552] ppid=4542 vsize=13975920 memory=140479584380544 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4552/stat : 4552 (java) S 4542 4545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80702121 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733340150000 139733794318978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4553] ppid=4542 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4553/stat : 4553 (java) S 4542 4545 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80702122 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733271307424 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4554] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4554/stat : 4554 (java) S 4542 4545 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80702122 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733270254320 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4555] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4555/stat : 4555 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733269202896 139733794326427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4556] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4556/stat : 4556 (java) S 4542 4545 12560 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 80702124 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733268151024 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4557] ppid=4542 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4557/stat : 4557 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702124 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733267098480 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4558] ppid=4542 vsize=13975920 memory=140479584380544 CPUtime=0.01 cores=1,3,5,7
/proc/4545/task/4558/stat : 4558 (java) S 4542 4545 12560 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 80702124 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733266045424 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4559] ppid=4542 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4559/stat : 4559 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733264993120 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4560] ppid=4542 vsize=13975920 memory=140479584380544 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4560/stat : 4560 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702129 14311342080 7771 18446744073709551615 4194304 4196468 140722376424688 139733263940144 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 31084 KiB
[startup+0.310205 s]*
/proc/loadavg: 1.92 1.92 1.78 3/210 4560
/proc/meminfo: memFree=24473520/32770624 swapFree=67105588/67108860
[pid=4545] ppid=4542 vsize=13975920 memory=40016 CPUtime=0.26 cores=1,3,5,7
/proc/4545/stat : 4545 (java) S 4542 4545 12560 0 -1 1077944320 10785 0 0 0 24 2 0 0 20 0 15 0 80702110 14311342080 10004 18446744073709551615 4194304 4196468 140722376424688 140722376407232 139733794307831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
/proc/4545/statm: 3493980 10004 3499 1 0 3482759 0
[pid=4545/tid=4547] ppid=4542 vsize=13975920 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/4545/task/4547/stat : 4547 (java) R 4542 4545 12560 0 -1 4202560 8455 0 0 0 16 2 0 0 20 0 15 0 80702119 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733798520560 139733778388318 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4548] ppid=4542 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4548/stat : 4548 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733751274512 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4549] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4549/stat : 4549 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733750221968 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4550] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4550/stat : 4550 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733749168912 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4551] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4551/stat : 4551 (java) S 4542 4545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80702120 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733748116368 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4552] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4552/stat : 4552 (java) S 4542 4545 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80702121 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733340150000 139733794318978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4553] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4553/stat : 4553 (java) S 4542 4545 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80702122 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733271307424 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4554] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4554/stat : 4554 (java) S 4542 4545 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80702122 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733270254320 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4555] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4555/stat : 4555 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733269202896 139733794326427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4556] ppid=4542 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4545/task/4556/stat : 4556 (java) S 4542 4545 12560 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 15 0 80702124 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733268151024 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4557] ppid=4542 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4545/task/4557/stat : 4557 (java) S 4542 4545 12560 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 80702124 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733267098480 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4558] ppid=4542 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4545/task/4558/stat : 4558 (java) S 4542 4545 12560 0 -1 1077944384 454 0 0 0 5 0 0 0 20 0 15 0 80702124 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733266045424 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4559] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4559/stat : 4559 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733264993120 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4560] ppid=4542 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4560/stat : 4560 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702129 14311342080 10032 18446744073709551615 4194304 4196468 140722376424688 139733263940144 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40016 KiB
[startup+0.701554 s]
/proc/loadavg: 1.92 1.92 1.78 4/210 4560
/proc/meminfo: memFree=24459028/32770624 swapFree=67105588/67108860
[pid=4545] ppid=4542 vsize=13977988 memory=67004 CPUtime=0.99 cores=1,3,5,7
/proc/4545/stat : 4545 (java) S 4542 4545 12560 0 -1 1077944320 13920 0 0 0 95 4 0 0 20 0 15 0 80702110 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 140722376407232 139733794307831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
/proc/4545/statm: 3494497 16751 3736 1 0 3483271 0
[pid=4545/tid=4547] ppid=4542 vsize=13977988 memory=97 CPUtime=0.56 cores=1,3,5,7
/proc/4545/task/4547/stat : 4547 (java) R 4542 4545 12560 0 -1 4202560 10478 0 0 0 53 3 0 0 20 0 15 0 80702119 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733798542400 139733422444828 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4548] ppid=4542 vsize=13977988 memory=102 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4548/stat : 4548 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733751274512 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4549] ppid=4542 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4549/stat : 4549 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733750221968 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4550] ppid=4542 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4550/stat : 4550 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733749168912 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4551] ppid=4542 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4551/stat : 4551 (java) S 4542 4545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80702120 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733748116368 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4552] ppid=4542 vsize=13977988 memory=140479454856785 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4552/stat : 4552 (java) S 4542 4545 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80702121 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733340150000 139733794318978 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4553] ppid=4542 vsize=13977988 memory=5931329015121990481 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4553/stat : 4553 (java) S 4542 4545 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80702122 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733271307424 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4554] ppid=4542 vsize=13977988 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4554/stat : 4554 (java) S 4542 4545 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80702122 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733270254320 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4555] ppid=4542 vsize=13977988 memory=7588935152971043925 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4555/stat : 4555 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733269202896 139733794326427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4556] ppid=4542 vsize=13977988 memory=6935650355271196736 CPUtime=0.11 cores=1,3,5,7
/proc/4545/task/4556/stat : 4556 (java) S 4542 4545 12560 0 -1 1077944384 910 0 0 0 11 0 0 0 20 0 15 0 80702124 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733268151024 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4557] ppid=4542 vsize=13977988 memory=6935649255759569728 CPUtime=0.08 cores=1,3,5,7
/proc/4545/task/4557/stat : 4557 (java) S 4542 4545 12560 0 -1 1077944384 268 0 0 0 8 0 0 0 20 0 15 0 80702124 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733267098480 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4558] ppid=4542 vsize=13977988 memory=6935649255759568960 CPUtime=0.21 cores=1,3,5,7
/proc/4545/task/4558/stat : 4558 (java) R 4542 4545 12560 0 -1 4202560 881 0 0 0 21 0 0 0 20 0 15 0 80702124 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733266043384 139733422309497 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4559] ppid=4542 vsize=13977988 memory=4638778437323477328 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4559/stat : 4559 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733264993120 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4560] ppid=4542 vsize=13977988 memory=6935658128894611536 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4560/stat : 4560 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702129 14313459712 16751 18446744073709551615 4194304 4196468 140722376424688 139733263940144 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 67004 KiB
[startup+0.880147 s]
# the end of solver process 4545 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.21323 s, system=0.066994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.808509 s]
/proc/loadavg: 1.92 1.92 1.78 4/210 4560
/proc/meminfo: memFree=24459028/32770624 swapFree=67105588/67108860
[pid=4545] ppid=4542 vsize=13980036 memory=78568 CPUtime=1.16 cores=1,3,5,7
/proc/4545/stat : 4545 (java) S 4542 4545 12560 0 -1 1077944320 14819 0 0 0 111 5 0 0 20 0 15 0 80702110 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 140722376407232 139733794307831 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
/proc/4545/statm: 3495009 19642 3738 1 0 3483783 0
[pid=4545/tid=4547] ppid=4542 vsize=13980036 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/4545/task/4547/stat : 4547 (java) R 4542 4545 12560 0 -1 4202560 11171 0 0 0 63 3 0 0 20 0 15 0 80702119 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733798542560 139733794319766 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4548] ppid=4542 vsize=13980036 memory=14269428049124392 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4548/stat : 4548 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733751274512 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4549] ppid=4542 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4549/stat : 4549 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733750221968 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4550] ppid=4542 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4550/stat : 4550 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702120 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733749168912 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4551] ppid=4542 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4551/stat : 4551 (java) S 4542 4545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 80702120 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733748116368 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4552] ppid=4542 vsize=13980036 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4552/stat : 4552 (java) S 4542 4545 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 80702121 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733340150000 139733794318978 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4553] ppid=4542 vsize=13980036 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4553/stat : 4553 (java) S 4542 4545 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 80702122 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733271307424 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4554] ppid=4542 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4554/stat : 4554 (java) S 4542 4545 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 80702122 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733270254320 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4555] ppid=4542 vsize=13980036 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4555/stat : 4555 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733269202896 139733794326427 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4556] ppid=4542 vsize=13980036 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4545/task/4556/stat : 4556 (java) S 4542 4545 12560 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 15 0 80702124 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733268151024 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4557] ppid=4542 vsize=13980036 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4545/task/4557/stat : 4557 (java) R 4542 4545 12560 0 -1 1077944384 427 0 0 0 10 0 0 0 20 0 15 0 80702124 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733267098480 139733794318978 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4558] ppid=4542 vsize=13980036 memory=280958909546736 CPUtime=0.23 cores=1,3,5,7
/proc/4545/task/4558/stat : 4558 (java) R 4542 4545 12560 0 -1 4202560 924 0 0 0 23 0 0 0 20 0 15 0 80702124 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733266045720 139733773250063 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4559] ppid=4542 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4559/stat : 4559 (java) S 4542 4545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 80702124 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733264993120 139733794318037 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
[pid=4545/tid=4560] ppid=4542 vsize=13980036 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/4545/task/4560/stat : 4560 (java) S 4542 4545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 80702129 14315556864 19642 18446744073709551615 4194304 4196468 140722376424688 139733263940144 139733794318978 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21962752 140722376429935 140722376430121 140722376430121 140722376433615 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 78568 KiB
Child status: 0
Real time (s): 0.880204
CPU time (s): 1.28023
CPU user time (s): 1.21323
CPU system time (s): 0.066994
CPU usage (%): 145.447
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 78568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.21323
system time used= 0.066994
maximum resident set size= 86860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1805
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 4545
# total CPU time (s): 1.28023
# total CPU user time (s): 1.21323
# total CPU system time (s): 0.066994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026722 second user time and 0.04625 second system time
The end