2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT (TO)	251	2520.3201	2512.5601
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 (15080 MiB free)
  memory of node 1: 16384 MiB (14722 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263014-1502632328/watcher-4263014-1502632328 -o /tmp/evaluation-result-4263014-1502632328/solver-4263014-1502632328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502623989-31951 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263014-1502632328.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=1105, runsolver pid=1102

[startup+0.100107 s]*
/proc/loadavg: 1.70 1.74 1.84 3/201 1107
/proc/meminfo: memFree=30515300/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=9934352 memory=10736 CPUtime=0 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 2540 0 0 0 0 0 0 0 20 0 6 0 105144146 10172776448 2684 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2483588 2684 1223 1 0 2473558 0
[pid=1105/tid=1107] ppid=1102 vsize=9936560 memory=-7174084197695649220 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 1699 0 0 0 0 0 0 0 20 0 6 0 105144156 10175037440 4170 18446744073709551615 4194304 4196468 140722219922752 139643897270864 139643854016374 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=9936560 memory=4349475210443476153 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 105144157 10175037440 4236 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=9936560 memory=140192290788992 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 105144157 10175037440 4236 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 105144157 10175037440 4236 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=9936560 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 105144157 10175037440 4236 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9934352 KiB
Current children cumulated memory: 10736 KiB

[startup+0.210108 s]*
/proc/loadavg: 1.70 1.74 1.84 4/214 1120
/proc/meminfo: memFree=30502068/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=10551156 memory=27816 CPUtime=0.09 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 4895 0 0 0 8 1 0 0 20 0 15 0 105144146 10804383744 6954 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2637789 6954 2768 1 0 2627261 0
[pid=1105/tid=1107] ppid=1102 vsize=10551156 memory=-7174084197695649220 CPUtime=0.07 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 2867 0 0 0 7 0 0 0 20 0 15 0 105144156 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643897270208 139643893056669 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=10551156 memory=4349475210443476153 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=10551156 memory=140192290788992 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10551156 memory=140192290788992 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105144158 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105144159 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643387307168 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105144159 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643386254064 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105144161 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) S 1102 1105 12395 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 105144161 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643384150768 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105144161 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643383098224 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10551156 memory=140192290788992 CPUtime=0.01 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 15 0 105144161 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105144161 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10551156 memory=140192290788992 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144165 10804383744 7019 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27816 KiB

[startup+0.310519 s]*
/proc/loadavg: 1.70 1.74 1.84 3/214 1120
/proc/meminfo: memFree=30493688/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=10551156 memory=36824 CPUtime=0.24 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 7947 0 0 0 21 3 0 0 20 0 15 0 105144146 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2637789 9206 2861 1 0 2627261 0
[pid=1105/tid=1107] ppid=1102 vsize=10551156 memory=1398720917958146503 CPUtime=0.17 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 5632 0 0 0 15 2 0 0 20 0 15 0 105144156 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643897255632 139643876227477 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=10551156 memory=140192161770464 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10551156 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105144158 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105144159 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643387307168 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105144159 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643386254064 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105144161 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) S 1102 1105 12395 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 15 0 105144161 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643384150768 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) S 1102 1105 12395 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 105144161 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643383098224 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10551156 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 378 0 0 0 4 0 0 0 20 0 15 0 105144161 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105144161 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144165 10804383744 9206 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36824 KiB

[startup+0.700702 s]
/proc/loadavg: 1.70 1.74 1.84 6/214 1120
/proc/meminfo: memFree=30477872/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=10551232 memory=87888 CPUtime=1.47 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 12579 0 0 0 142 5 0 0 20 0 15 0 105144146 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2637808 21972 3060 1 0 2627261 0
[pid=1105/tid=1107] ppid=1102 vsize=10551232 memory=1296 CPUtime=0.54 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 6926 0 0 0 51 3 0 0 20 0 15 0 105144156 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643897260512 139643874956068 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=10551232 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=10551232 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105144157 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144157 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10551232 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105144158 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10551232 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105144159 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643387307168 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10551232 memory=81 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105144159 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643386254064 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10551232 memory=8751464017575358777 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105144161 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10551232 memory=6224927211385809239 CPUtime=0.3 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) R 1102 1105 12395 0 -1 4202560 1442 0 0 0 30 0 0 0 20 0 15 0 105144161 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643384136864 139643878149971 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10551232 memory=7666924745805555264 CPUtime=0.27 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) R 1102 1105 12395 0 -1 4202560 1042 0 0 0 27 0 0 0 20 0 15 0 105144161 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643383086784 139643870629804 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10551232 memory=6368723639942337639 CPUtime=0.32 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 1798 0 0 0 32 0 0 0 20 0 15 0 105144161 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10551232 memory=7595153922355390567 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105144161 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10551232 memory=-9108684669924967205 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105144165 10804461568 21972 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 87888 KiB

[startup+1.50089 s]
/proc/loadavg: 1.70 1.74 1.84 6/215 1121
/proc/meminfo: memFree=30306404/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=10617796 memory=227012 CPUtime=3.54 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 13358 0 0 0 343 11 0 0 20 0 16 0 105144146 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2654449 56753 3093 1 0 2643902 0
[pid=1105/tid=1107] ppid=1102 vsize=10617796 memory=4132 CPUtime=1.29 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 7024 0 0 0 124 5 0 0 20 0 16 0 105144156 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643897271264 139643501297255 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=10617796 memory=7680170660397595203 CPUtime=0.03 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 19 0 0 0 2 1 0 0 20 0 16 0 105144157 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=10617796 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 23 0 0 0 3 0 0 0 20 0 16 0 105144157 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10617796 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 39 0 0 0 4 1 0 0 20 0 16 0 105144157 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10617796 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 28 0 0 0 3 0 0 0 20 0 16 0 105144157 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 105144158 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105144159 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643387307168 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10617796 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 105144159 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643386254064 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10617796 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105144161 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10617796 memory=8836 CPUtime=0.82 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) S 1102 1105 12395 0 -1 1077944384 1630 0 0 0 82 0 0 0 20 0 16 0 105144161 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643384150768 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10617796 memory=11044 CPUtime=0.79 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) S 1102 1105 12395 0 -1 1077944384 1155 0 0 0 79 0 0 0 20 0 16 0 105144161 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643383098224 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10617796 memory=13252 CPUtime=0.42 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 1973 0 0 0 42 0 0 0 20 0 16 0 105144161 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10617796 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105144161 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 105144165 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1121] ppid=1102 vsize=10617796 memory=7883313791515505969 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1121/stat : 1121 (java) S 1102 1105 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105144246 10872623104 56753 18446744073709551615 4194304 4196468 140722219922752 139643378885680 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0

################
# More data... #
################

/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 2049 0 0 0 79 24 0 0 20 0 16 0 105144157 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10617796 memory=1815892 CPUtime=1.06 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 1501 0 0 0 80 26 0 0 20 0 16 0 105144157 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10617796 memory=1815892 CPUtime=1.05 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 2663 0 0 0 80 25 0 0 20 0 16 0 105144157 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10617796 memory=1815892 CPUtime=0.22 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 7191 0 0 0 19 3 0 0 20 0 16 0 105144158 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10617796 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 105144159 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643387307232 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10617796 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 105144159 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643386254080 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10617796 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10617796 memory=1728 CPUtime=1.24 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) S 1102 1105 12395 0 -1 1077944384 4002 0 0 0 123 1 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643384150768 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10617796 memory=1815892 CPUtime=1.36 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) S 1102 1105 12395 0 -1 1077944384 8961 0 0 0 135 1 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643383098224 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10617796 memory=1815892 CPUtime=0.48 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 4749 0 0 0 47 1 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10617796 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10617796 memory=4132 CPUtime=1.43 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 2190 0 0 0 76 67 0 0 20 0 16 0 105144165 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1121] ppid=1102 vsize=10617796 memory=51756 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1121/stat : 1121 (java) S 1102 1105 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105144246 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643378885680 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 2510.01 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 1816020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/220 1425
/proc/meminfo: memFree=25876472/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=10617796 memory=1816020 CPUtime=2520.02 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 64650 0 0 0 251824 178 0 0 20 0 16 0 105144146 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2654449 454005 3137 1 0 2643902 0
[pid=1105/tid=1107] ppid=1102 vsize=10617796 memory=1816020 CPUtime=2510.99 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 27753 0 0 0 251081 18 0 0 20 0 16 0 105144156 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643897273776 139643501808583 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=10617796 memory=1816020 CPUtime=1.04 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 2179 0 0 0 79 25 0 0 20 0 16 0 105144157 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=10617796 memory=1816020 CPUtime=1.03 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 2049 0 0 0 79 24 0 0 20 0 16 0 105144157 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10617796 memory=1816020 CPUtime=1.06 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 1501 0 0 0 80 26 0 0 20 0 16 0 105144157 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10617796 memory=1816020 CPUtime=1.05 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 2663 0 0 0 80 25 0 0 20 0 16 0 105144157 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10617796 memory=1816020 CPUtime=0.22 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 7191 0 0 0 19 3 0 0 20 0 16 0 105144158 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10617796 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 105144159 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643387307232 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10617796 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 105144159 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643386254080 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10617796 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10617796 memory=-7003737579269690708 CPUtime=1.24 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) S 1102 1105 12395 0 -1 1077944384 4002 0 0 0 123 1 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643384150768 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10617796 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) S 1102 1105 12395 0 -1 1077944384 8961 0 0 0 135 1 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643383098224 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10617796 memory=1815892 CPUtime=0.48 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 4749 0 0 0 47 1 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10617796 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105144161 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10617796 memory=4060 CPUtime=1.44 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 2192 0 0 0 77 67 0 0 20 0 16 0 105144165 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1121] ppid=1102 vsize=10617796 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1121/stat : 1121 (java) S 1102 1105 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105144246 10872623104 454005 18446744073709551615 4194304 4196468 140722219922752 139643378885680 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 1816020 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2512.56 s]
# the end of solver process 1105 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.52 s, system=1.79439 s

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

[startup+2512.41 s]
/proc/loadavg: 2.05 2.04 2.05 3/220 1425
/proc/meminfo: memFree=25876472/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=10817488 memory=1816260 CPUtime=2520.13 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 65231 0 0 0 251835 178 0 0 20 0 17 0 105144146 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2704372 454065 3139 1 0 2693825 0
[pid=1105/tid=1107] ppid=1102 vsize=10817488 memory=7680170660397595203 CPUtime=2511.09 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 27879 0 0 0 251091 18 0 0 20 0 17 0 105144156 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643897273776 139643501867296 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=10817488 memory=2752 CPUtime=1.04 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 2179 0 0 0 79 25 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=10817488 memory=6933928925625698159 CPUtime=1.03 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 2049 0 0 0 79 24 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10817488 memory=2460 CPUtime=1.06 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 1501 0 0 0 80 26 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10817488 memory=1728 CPUtime=1.05 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 2663 0 0 0 80 25 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10817488 memory=1012 CPUtime=0.22 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 7191 0 0 0 19 3 0 0 20 0 17 0 105144158 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10817488 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 105144159 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643387307232 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10817488 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 105144159 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643386254080 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10817488 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10817488 memory=1728 CPUtime=1.24 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) S 1102 1105 12395 0 -1 1077944384 4047 0 0 0 123 1 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643384150768 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10817488 memory=1012 CPUtime=1.36 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) S 1102 1105 12395 0 -1 1077944384 8972 0 0 0 135 1 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643383098224 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10817488 memory=1228 CPUtime=0.48 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 4867 0 0 0 47 1 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10817488 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10817488 memory=12132 CPUtime=1.44 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 2192 0 0 0 77 67 0 0 20 0 17 0 105144165 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 1816260 KiB

[startup+2512.5 s]
/proc/loadavg: 2.05 2.04 2.05 3/220 1425
/proc/meminfo: memFree=25876472/32770624 swapFree=67108860/67108860
[pid=1105] ppid=1102 vsize=10817488 memory=1816260 CPUtime=2520.22 cores=0,2,4,6
/proc/1105/stat : 1105 (java) S 1102 1105 12395 0 -1 1077944320 65231 0 0 0 251844 178 0 0 20 0 17 0 105144146 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 140722219905296 139643893034743 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
/proc/1105/statm: 2704372 454065 3139 1 0 2693825 0
[pid=1105/tid=1107] ppid=1102 vsize=10817488 memory=1816020 CPUtime=2511.19 cores=0,2,4,6
/proc/1105/task/1107/stat : 1107 (java) R 1102 1105 12395 0 -1 4202560 27879 0 0 0 251101 18 0 0 20 0 17 0 105144156 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643897273776 139643496769422 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1108] ppid=1102 vsize=10817488 memory=1816020 CPUtime=1.04 cores=0,2,4,6
/proc/1105/task/1108/stat : 1108 (java) S 1102 1105 12395 0 -1 1077944384 2179 0 0 0 79 25 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643823455248 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1109] ppid=1102 vsize=10817488 memory=1816020 CPUtime=1.03 cores=0,2,4,6
/proc/1105/task/1109/stat : 1109 (java) S 1102 1105 12395 0 -1 1077944384 2049 0 0 0 79 24 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643822402704 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1110] ppid=1102 vsize=10817488 memory=1816020 CPUtime=1.06 cores=0,2,4,6
/proc/1105/task/1110/stat : 1110 (java) S 1102 1105 12395 0 -1 1077944384 1501 0 0 0 80 26 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643821349648 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1111] ppid=1102 vsize=10817488 memory=1816020 CPUtime=1.05 cores=0,2,4,6
/proc/1105/task/1111/stat : 1111 (java) S 1102 1105 12395 0 -1 1077944384 2663 0 0 0 80 25 0 0 20 0 17 0 105144157 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643820297104 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1112] ppid=1102 vsize=10817488 memory=1816020 CPUtime=0.22 cores=0,2,4,6
/proc/1105/task/1112/stat : 1112 (java) S 1102 1105 12395 0 -1 1077944384 7191 0 0 0 19 3 0 0 20 0 17 0 105144158 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643388360944 139643893045890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1113] ppid=1102 vsize=10817488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1113/stat : 1113 (java) S 1102 1105 12395 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 105144159 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643387307232 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1114] ppid=1102 vsize=10817488 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1114/stat : 1114 (java) S 1102 1105 12395 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 105144159 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643386254080 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1115] ppid=1102 vsize=10817488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1115/stat : 1115 (java) S 1102 1105 12395 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643385202640 139643893053339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1116] ppid=1102 vsize=10817488 memory=1815892 CPUtime=1.24 cores=0,2,4,6
/proc/1105/task/1116/stat : 1116 (java) S 1102 1105 12395 0 -1 1077944384 4047 0 0 0 123 1 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643384150768 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1117] ppid=1102 vsize=10817488 memory=1816020 CPUtime=1.36 cores=0,2,4,6
/proc/1105/task/1117/stat : 1117 (java) S 1102 1105 12395 0 -1 1077944384 8972 0 0 0 135 1 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643383098224 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1118] ppid=1102 vsize=10817488 memory=4060 CPUtime=0.48 cores=0,2,4,6
/proc/1105/task/1118/stat : 1118 (java) S 1102 1105 12395 0 -1 1077944384 4867 0 0 0 47 1 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643382045168 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1119] ppid=1102 vsize=10817488 memory=1816020 CPUtime=0 cores=0,2,4,6
/proc/1105/task/1119/stat : 1119 (java) S 1102 1105 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105144161 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643380992864 139643893044949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
[pid=1105/tid=1120] ppid=1102 vsize=10817488 memory=1816020 CPUtime=1.44 cores=0,2,4,6
/proc/1105/task/1120/stat : 1120 (java) S 1102 1105 12395 0 -1 1077944384 2192 0 0 0 77 67 0 0 20 0 17 0 105144165 11077107712 454065 18446744073709551615 4194304 4196468 140722219922752 139643379939888 139643893045890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25042944 140722219925904 140722219926057 140722219926057 140722219929551 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 1816260 KiB

Child status: 143
Real time (s): 2512.56
CPU time (s): 2520.32
CPU user time (s): 2518.52
CPU system time (s): 1.79439
CPU usage (%): 100.309
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 1816260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.52
system time used= 1.79439
maximum resident set size= 1816632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56754
involuntary context switches= 1710


# summary of solver processes directly reported to runsolver:
#   pid: 1105
#   total CPU time (s): 2520.32
#   total CPU user time (s): 2518.52
#   total CPU system time (s): 1.79439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4081 second user time and 23.7317 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM	4a86fdd9abdf3f491c5a6082e8161c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	202
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	473
Number of constraints	473
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":473}]
Minimum variable degree	5
Maximum variable degree	18
Distribution of variable degrees	[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity	4
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":473}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4263014

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
