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-4246580-1500687965/watcher-4246580-1500687965 -o /tmp/evaluation-result-4246580-1500687965/solver-4246580-1500687965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1383210798 HOME/instance-4246580-1500687965.xml
pid=6005
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.68 15.70 14.99 10/271 6008
/proc/meminfo: memFree=30528524/32770624 swapFree=5696/280536
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/statm: 2378 346 289 221 0 87 0
[startup+0.100149 s]
/proc/loadavg: 15.68 15.70 14.99 10/271 6008
/proc/meminfo: memFree=30528524/32770624 swapFree=5696/280536
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200263 s]
/proc/loadavg: 15.68 15.70 14.99 10/271 6008
/proc/meminfo: memFree=30528524/32770624 swapFree=5696/280536
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300237 s]
/proc/loadavg: 15.68 15.70 14.99 10/271 6008
/proc/meminfo: memFree=30528524/32770624 swapFree=5696/280536
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700158 s]
/proc/loadavg: 15.68 15.70 14.99 10/271 6008
/proc/meminfo: memFree=30528524/32770624 swapFree=5696/280536
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/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 6009 sig 9
??? kill 6008 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800249 s]
/proc/loadavg: 15.68 15.70 14.99 10/271 6008
/proc/meminfo: memFree=30528524/32770624 swapFree=5696/280536
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.20944 s]
/proc/loadavg: 15.68 15.70 14.99 14/292 6029
/proc/meminfo: memFree=30344476/32770624 swapFree=5696/280912
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/statm: 2378 346 289 221 0 87 0
[pid=6009] ppid=6008 vsize=13801768 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/6009/stat : 6009 (java) S 6008 6008 7102 0 -1 1077944320 16486 0 0 0 411 14 0 0 20 0 28 0 4063958 14133010432 51506 33554432000 4194304 4196468 140726951470304 140726951452848 140398183124727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
/proc/6009/statm: 3450442 51506 3228 1 0 3437675 0
[pid=6009/tid=6010] ppid=6008 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6010/stat : 6010 (java) S 6008 6008 7102 0 -1 1077944384 6785 0 0 0 110 6 0 0 20 0 28 0 4063958 14133010432 51506 33554432000 4194304 4196468 140726951470304 140398187365504 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6012] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6012/stat : 6012 (java) S 6008 6008 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140398122089488 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6013] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6013/stat : 6013 (java) S 6008 6008 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140398121036944 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6014] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6014/stat : 6014 (java) S 6008 6008 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140398119983888 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6015] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6015/stat : 6015 (java) S 6008 6008 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140397779573648 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6016] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6016/stat : 6016 (java) S 6008 6008 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140397778520592 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6017] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6017/stat : 6017 (java) S 6008 6008 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140397777468048 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6018] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6018/stat : 6018 (java) S 6008 6008 7102 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140397776414992 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6019] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6019/stat : 6019 (java) S 6008 6008 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4063959 14133010432 51506 33554432000 4194304 4196468 140726951470304 140397775362448 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6020] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6020/stat : 6020 (java) S 6008 6008 7102 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 4063962 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396914518768 140398183135874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6021] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6021/stat : 6021 (java) S 6008 6008 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4063963 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396913464992 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6022] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6022/stat : 6022 (java) S 6008 6008 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4063963 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396912411888 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6023] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6023/stat : 6023 (java) S 6008 6008 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4063967 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396709538256 140398183143323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6024] ppid=6008 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6024/stat : 6024 (java) S 6008 6008 7102 0 -1 1077944384 1991 0 0 0 76 1 0 0 20 0 28 0 4063967 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396708485360 140398183135874 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6025] ppid=6008 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6025/stat : 6025 (java) S 6008 6008 7102 0 -1 1077944384 1614 0 0 0 76 0 0 0 20 0 28 0 4063967 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396707432816 140398183135874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6026] ppid=6008 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6026/stat : 6026 (java) R 6008 6008 7102 0 -1 4202560 1683 0 0 0 80 0 0 0 20 0 28 0 4063967 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396706379760 140398183136662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6027] ppid=6008 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6027/stat : 6027 (java) R 6008 6008 7102 0 -1 4202560 2707 0 0 0 61 1 0 0 20 0 28 0 4063967 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396705327216 140398183136662 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6028] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6028/stat : 6028 (java) S 6008 6008 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4063967 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396704275424 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6029] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6029/stat : 6029 (java) S 6008 6008 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4063967 14133010432 51506 33554432000 4194304 4196468 140726951470304 140396703222960 140398183135874 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13811280
[startup+1.30092 s]
/proc/loadavg: 15.68 15.70 14.99 14/292 6029
/proc/meminfo: memFree=30344476/32770624 swapFree=5696/280912
[pid=6008] ppid=6005 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6008/stat : 6008 (xcsp3-exec) S 6005 6008 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4063958 9740288 346 33554432000 4194304 5098028 140729112512624 140729112510728 140636538901116 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7266304 140729112519822 140729112520032 140729112520032 140729112522731 0
/proc/6008/statm: 2378 346 289 221 0 87 0
[pid=6009] ppid=6008 vsize=13801768 CPUtime=4.92 cores=0,2,4,6,8,10,12,14
/proc/6009/stat : 6009 (java) S 6008 6008 7102 0 -1 1077944320 16657 0 0 0 477 15 0 0 20 0 22 0 4063958 14133010432 51746 33554432000 4194304 4196468 140726951470304 140726951452848 140398183124727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
/proc/6009/statm: 3450442 51746 3231 1 0 3437675 0
[pid=6009/tid=6010] ppid=6008 vsize=13801768 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6010/stat : 6010 (java) R 6008 6008 7102 0 -1 4202560 6786 0 0 0 110 6 0 0 20 0 22 0 4063958 14133010432 51756 33554432000 4194304 4196468 140726951470304 140398187365552 140398162722693 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6012] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6012/stat : 6012 (java) S 6008 6008 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140398122089488 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6013] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6013/stat : 6013 (java) S 6008 6008 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140398121036944 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6014] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6014/stat : 6014 (java) S 6008 6008 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140398119983888 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6015] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6015/stat : 6015 (java) S 6008 6008 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140397779573648 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6016] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6016/stat : 6016 (java) S 6008 6008 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140397778520592 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6017] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6017/stat : 6017 (java) S 6008 6008 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140397777468048 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6018] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6018/stat : 6018 (java) S 6008 6008 7102 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140397776414992 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6019] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6019/stat : 6019 (java) S 6008 6008 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 4063959 14133010432 51738 33554432000 4194304 4196468 140726951470304 140397775362448 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6020] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6020/stat : 6020 (java) S 6008 6008 7102 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 4063962 14133010432 51738 33554432000 4194304 4196468 140726951470304 140396914518768 140398183135874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6021] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6021/stat : 6021 (java) S 6008 6008 7102 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4063963 14133010432 51738 33554432000 4194304 4196468 140726951470304 140396913464992 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6022] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6022/stat : 6022 (java) S 6008 6008 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4063963 14133010432 51738 33554432000 4194304 4196468 140726951470304 140396912411888 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6023] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6023/stat : 6023 (java) S 6008 6008 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4063967 14133010432 51738 33554432000 4194304 4196468 140726951470304 140396709538256 140398183143323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6024] ppid=6008 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6024/stat : 6024 (java) R 6008 6008 7102 0 -1 4202560 2006 0 0 0 84 1 0 0 20 0 20 0 4063967 14133010432 51738 33554432000 4194304 4196468 140726951470304 140396708470208 140398168005983 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6025] ppid=6008 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6025/stat : 6025 (java) R 6008 6008 7102 0 -1 4202560 1622 0 0 0 83 0 0 0 20 0 20 0 4063967 14133010432 51738 33554432000 4194304 4196468 140726951470304 140396707419632 140398162811186 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6026] ppid=6008 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6026/stat : 6026 (java) R 6008 6008 7102 0 -1 4202560 1686 0 0 0 84 0 0 0 20 0 20 0 4063967 14133010432 51738 33554432000 4194304 4196468 140726951470304 140396706361152 140398166624925 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6027] ppid=6008 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6027/stat : 6027 (java) R 6008 6008 7102 0 -1 4202560 2755 0 0 0 65 1 0 0 20 0 20 0 4063967 14133010432 51781 33554432000 4194304 4196468 140726951470304 140396705324152 140398175841690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6028] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6028/stat : 6028 (java) S 6008 6008 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4063967 14133010432 51781 33554432000 4194304 4196468 140726951470304 140396704275424 140398183134933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
[pid=6009/tid=6029] ppid=6008 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6009/task/6029/stat : 6029 (java) S 6008 6008 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4063967 14133010432 51781 33554432000 4194304 4196468 140726951470304 140396703222960 140398183135874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9854976 140726951474364 140726951474540 140726951474540 140726951477199 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.31852
CPU time (s): 4.94643
CPU user time (s): 4.78798
CPU system time (s): 0.158447
CPU usage (%): 375.15
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.78798
system time used= 0.158447
maximum resident set size= 208280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17223
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= 2419
involuntary context switches= 432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011608 second user time and 0.02005 second system time
The end