runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244942-1500684837/watcher-4244942-1500684837 -o /tmp/evaluation-result-4244942-1500684837/solver-4244942-1500684837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1587853071 HOME/instance-4244942-1500684837.xml
pid=32253
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.94 15.62 14.83 10/274 32256
/proc/meminfo: memFree=29183776/32770624 swapFree=5900/219488
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
[startup+0.100104 s]
/proc/loadavg: 15.94 15.62 14.83 10/274 32256
/proc/meminfo: memFree=29183776/32770624 swapFree=5900/219488
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200376 s]
/proc/loadavg: 15.94 15.62 14.83 10/274 32256
/proc/meminfo: memFree=29183776/32770624 swapFree=5900/219488
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30036 s]
/proc/loadavg: 15.94 15.62 14.83 10/274 32256
/proc/meminfo: memFree=29183776/32770624 swapFree=5900/219488
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701879 s]
/proc/loadavg: 15.94 15.62 14.83 10/274 32256
/proc/meminfo: memFree=29183776/32770624 swapFree=5900/219488
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32257 sig 9
??? kill 32256 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800288 s]
/proc/loadavg: 15.94 15.62 14.83 10/274 32256
/proc/meminfo: memFree=29183776/32770624 swapFree=5900/219488
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.22407 s]
/proc/loadavg: 15.94 15.62 14.83 21/303 32325
/proc/meminfo: memFree=29015088/32770624 swapFree=5900/219520
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
[pid=32257] ppid=32256 vsize=13802796 CPUtime=5.6 cores=0,2,4,6,8,10,12,14
/proc/32257/stat : 32257 (java) S 32256 32256 16913 0 -1 1077944320 17816 0 0 0 549 11 0 0 20 0 28 0 3750617 14134063104 46211 33554432000 4194304 4196468 140726603249072 140726603231616 140095004724983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
/proc/32257/statm: 3450699 46211 3216 1 0 3437932 0
[pid=32257/tid=32258] ppid=32256 vsize=13802796 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32258/stat : 32258 (java) S 32256 32256 16913 0 -1 1077944384 6806 0 0 0 62 4 0 0 20 0 28 0 3750618 14134063104 46211 33554432000 4194304 4196468 140726603249072 140095008965760 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32260] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32260/stat : 32260 (java) S 32256 32256 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094923205648 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32261] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32261/stat : 32261 (java) S 32256 32256 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094922153104 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32262] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32262/stat : 32262 (java) S 32256 32256 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094602210064 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32263] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32263/stat : 32263 (java) S 32256 32256 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094601157520 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32264] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32264/stat : 32264 (java) S 32256 32256 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094600104464 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32265] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32265/stat : 32265 (java) S 32256 32256 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094599051920 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32266] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32266/stat : 32266 (java) S 32256 32256 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094597998864 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32267] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32267/stat : 32267 (java) S 32256 32256 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094596946320 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32268] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32268/stat : 32268 (java) S 32256 32256 16913 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3750621 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094466943728 140095004736130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32269] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32269/stat : 32269 (java) S 32256 32256 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3750622 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094465889952 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32270] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32270/stat : 32270 (java) S 32256 32256 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3750622 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094464836848 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32271] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32271/stat : 32271 (java) S 32256 32256 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3750626 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094463785424 140095004743579 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32272] ppid=32256 vsize=13802796 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32272/stat : 32272 (java) R 32256 32256 16913 0 -1 4202560 1653 0 0 0 56 0 0 0 20 0 28 0 3750626 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094462722128 140094988208308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32273] ppid=32256 vsize=13802796 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32273/stat : 32273 (java) R 32256 32256 16913 0 -1 4202560 2636 0 0 0 60 0 0 0 20 0 28 0 3750626 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094461673176 140094982703303 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32274] ppid=32256 vsize=13802796 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32274/stat : 32274 (java) R 32256 32256 16913 0 -1 4202560 1844 0 0 0 55 1 0 0 20 0 28 0 3750626 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094460612808 140094986247553 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32275] ppid=32256 vsize=13802796 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32275/stat : 32275 (java) S 32256 32256 16913 0 -1 1077944384 2377 0 0 0 63 0 0 0 20 0 28 0 3750626 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094459574384 140095004736130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32276] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32276/stat : 32276 (java) S 32256 32256 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3750626 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094458522592 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32277] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32277/stat : 32277 (java) S 32256 32256 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3750627 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094457470128 140095004736130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32318] ppid=32256 vsize=13802796 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32318/stat : 32318 (java) R 32256 32256 16913 0 -1 4202560 21 0 0 0 19 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094310682136 140095004736918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32319] ppid=32256 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32319/stat : 32319 (java) R 32256 32256 16913 0 -1 4202560 18 0 0 0 16 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094311737832 140094987195967 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32320] ppid=32256 vsize=13802796 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32320/stat : 32320 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094308578456 140094606721007 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32321] ppid=32256 vsize=13802796 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32321/stat : 32321 (java) R 32256 32256 16913 0 -1 4202560 20 0 0 0 13 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094306473088 140094607387422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32322] ppid=32256 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32322/stat : 32322 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094312789592 140094607575920 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32323] ppid=32256 vsize=13802796 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32323/stat : 32323 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 16 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094309631128 140094607251694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32324] ppid=32256 vsize=13802796 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32324/stat : 32324 (java) R 32256 32256 16913 0 -1 4202560 18 0 0 0 14 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094313842936 140094606720140 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32325] ppid=32256 vsize=13802796 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32325/stat : 32325 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 23 0 0 0 20 0 28 0 3750714 14134063104 46211 33554432000 4194304 4196468 140726603249072 140094314895336 140094607538704 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13812308
[startup+1.30169 s]
/proc/loadavg: 15.94 15.62 14.83 21/303 32325
/proc/meminfo: memFree=29015088/32770624 swapFree=5900/219520
[pid=32256] ppid=32253 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32256/stat : 32256 (xcsp3-exec) S 32253 32256 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3750617 9740288 346 33554432000 4194304 5098028 140730062689232 140730062687336 139855174038140 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 8019968 140730062697614 140730062697824 140730062697824 140730062700523 0
/proc/32256/statm: 2378 346 289 221 0 87 0
[pid=32257] ppid=32256 vsize=13802796 CPUtime=6.22 cores=0,2,4,6,8,10,12,14
/proc/32257/stat : 32257 (java) S 32256 32256 16913 0 -1 1077944320 18149 0 0 0 611 11 0 0 20 0 28 0 3750617 14134063104 46493 33554432000 4194304 4196468 140726603249072 140726603231616 140095004724983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
/proc/32257/statm: 3450699 46493 3218 1 0 3437932 0
[pid=32257/tid=32258] ppid=32256 vsize=13802796 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32258/stat : 32258 (java) S 32256 32256 16913 0 -1 1077944384 6806 0 0 0 62 4 0 0 20 0 28 0 3750618 14134063104 46493 33554432000 4194304 4196468 140726603249072 140095008965760 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32260] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32260/stat : 32260 (java) S 32256 32256 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094923205648 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32261] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32261/stat : 32261 (java) S 32256 32256 16913 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094922153104 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32262] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32262/stat : 32262 (java) S 32256 32256 16913 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094602210064 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32263] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32263/stat : 32263 (java) S 32256 32256 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094601157520 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32264] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32264/stat : 32264 (java) S 32256 32256 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094600104464 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32265] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32265/stat : 32265 (java) S 32256 32256 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094599051920 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32266] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32266/stat : 32266 (java) S 32256 32256 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094597998864 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32267] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32267/stat : 32267 (java) S 32256 32256 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3750619 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094596946320 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32268] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32268/stat : 32268 (java) S 32256 32256 16913 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3750621 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094466943728 140095004736130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32269] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32269/stat : 32269 (java) S 32256 32256 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3750622 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094465889952 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32270] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32270/stat : 32270 (java) S 32256 32256 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3750622 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094464836848 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32271] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32271/stat : 32271 (java) S 32256 32256 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3750626 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094463785424 140095004743579 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32272] ppid=32256 vsize=13802796 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32272/stat : 32272 (java) R 32256 32256 16913 0 -1 4202560 1937 0 0 0 61 0 0 0 20 0 28 0 3750626 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094462718880 140094988111872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32273] ppid=32256 vsize=13802796 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32273/stat : 32273 (java) R 32256 32256 16913 0 -1 4202560 2666 0 0 0 65 0 0 0 20 0 28 0 3750626 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094461665760 140094990747515 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32274] ppid=32256 vsize=13802796 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32274/stat : 32274 (java) R 32256 32256 16913 0 -1 4202560 1845 0 0 0 59 1 0 0 20 0 28 0 3750626 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094460614256 140094988210875 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32275] ppid=32256 vsize=13802796 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32275/stat : 32275 (java) S 32256 32256 16913 0 -1 1077944384 2395 0 0 0 64 0 0 0 20 0 28 0 3750626 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094459574384 140095004736130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32276] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32276/stat : 32276 (java) S 32256 32256 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3750626 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094458522592 140095004735189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32277] ppid=32256 vsize=13802796 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32277/stat : 32277 (java) S 32256 32256 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3750627 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094457470128 140095004736130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32318] ppid=32256 vsize=13802796 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32318/stat : 32318 (java) R 32256 32256 16913 0 -1 4202560 21 0 0 0 23 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094310682216 140094606720717 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32319] ppid=32256 vsize=13802796 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32319/stat : 32319 (java) R 32256 32256 16913 0 -1 4202560 18 0 0 0 23 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094311735880 140094607308269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32320] ppid=32256 vsize=13802796 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32320/stat : 32320 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 20 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094308576664 140094607180032 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32321] ppid=32256 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32321/stat : 32321 (java) R 32256 32256 16913 0 -1 4202560 20 0 0 0 17 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094306474104 140094605523841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32322] ppid=32256 vsize=13802796 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32322/stat : 32322 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 25 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094312788024 140094606559232 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32323] ppid=32256 vsize=13802796 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32323/stat : 32323 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 22 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094309631128 140094607547108 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32324] ppid=32256 vsize=13802796 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32324/stat : 32324 (java) R 32256 32256 16913 0 -1 4202560 18 0 0 0 17 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094313842392 140094606737561 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
[pid=32257/tid=32325] ppid=32256 vsize=13802796 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/32257/task/32325/stat : 32325 (java) R 32256 32256 16913 0 -1 4202560 17 0 0 0 28 0 0 0 20 0 28 0 3750714 14134063104 46493 33554432000 4194304 4196468 140726603249072 140094314895336 140094607548799 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28545024 140726603252924 140726603253100 140726603253100 140726603255759 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13812308
Child status: 0
Real time (s): 1.3757
CPU time (s): 6.68565
CPU user time (s): 6.56471
CPU system time (s): 0.120936
CPU usage (%): 485.982
Max. virtual memory (cumulated for all children) (KiB): 13812308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.56471
system time used= 0.120936
maximum resident set size= 190252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18959
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= 3229
involuntary context switches= 648
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018022 second user time and 0.022262 second system time
The end