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-4247336-1500690009/watcher-4247336-1500690009 -o /tmp/evaluation-result-4247336-1500690009/solver-4247336-1500690009 -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 1098502910 HOME/instance-4247336-1500690009.xml
pid=8062
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: 16.09 12.98 10.93 10/271 8065
/proc/meminfo: memFree=28100864/32770624 swapFree=5656/284880
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
[startup+0.100111 s]
/proc/loadavg: 16.09 12.98 10.93 10/271 8065
/proc/meminfo: memFree=28100864/32770624 swapFree=5656/284880
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200392 s]
/proc/loadavg: 16.09 12.98 10.93 10/271 8065
/proc/meminfo: memFree=28100864/32770624 swapFree=5656/284880
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300319 s]
/proc/loadavg: 16.09 12.98 10.93 10/271 8065
/proc/meminfo: memFree=28100864/32770624 swapFree=5656/284880
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70019 s]
/proc/loadavg: 16.09 12.98 10.93 10/271 8065
/proc/meminfo: memFree=28100864/32770624 swapFree=5656/284880
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50117 s]
/proc/loadavg: 16.09 12.98 10.93 14/292 8086
/proc/meminfo: memFree=27903756/32770624 swapFree=5656/285008
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
[pid=8066] ppid=8065 vsize=13269256 CPUtime=5.36 cores=0,2,4,6,8,10,12,14
/proc/8066/stat : 8066 (java) S 8065 8065 7102 0 -1 1077944320 15734 0 0 0 508 28 0 0 20 0 20 0 4268428 13587718144 59520 33554432000 4194304 4196468 140727421516976 140727421499520 139651021209335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
/proc/8066/statm: 3317314 59520 3238 1 0 3304547 0
[pid=8066/tid=8067] ppid=8065 vsize=13269256 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8067/stat : 8067 (java) R 8065 8065 7102 0 -1 4202560 6311 0 0 0 136 4 0 0 20 0 20 0 4268429 13587718144 59520 33554432000 4194304 4196468 140727421516976 139651025445272 139650615659588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8069] ppid=8065 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8069/stat : 8069 (java) S 8065 8065 7102 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650939689872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8070] ppid=8065 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8070/stat : 8070 (java) S 8065 8065 7102 0 -1 1077944384 29 0 0 0 2 3 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650938637072 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8071] ppid=8065 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8071/stat : 8071 (java) S 8065 8065 7102 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650937584784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8072] ppid=8065 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8072/stat : 8072 (java) S 8065 8065 7102 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650936531984 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8073] ppid=8065 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8073/stat : 8073 (java) S 8065 8065 7102 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650935478672 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8074] ppid=8065 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8074/stat : 8074 (java) S 8065 8065 7102 0 -1 1077944384 33 0 0 0 2 2 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650934425872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8075] ppid=8065 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8075/stat : 8075 (java) S 8065 8065 7102 0 -1 1077944384 42 0 0 0 2 1 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650933373584 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8076] ppid=8065 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8076/stat : 8076 (java) S 8065 8065 7102 0 -1 1077944384 47 0 0 0 3 2 0 0 20 0 20 0 4268430 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650932320784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8077] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8077/stat : 8077 (java) S 8065 8065 7102 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4268432 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650349382256 139651021220482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8078] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8078/stat : 8078 (java) S 8065 8065 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650348328288 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8079] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8079/stat : 8079 (java) S 8065 8065 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650347275904 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8080] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8080/stat : 8080 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4268436 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650346224208 139651021227931 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8081] ppid=8065 vsize=13269256 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8081/stat : 8081 (java) R 8065 8065 7102 0 -1 4202560 1815 0 0 0 99 0 0 0 20 0 20 0 4268436 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650345153216 139651006107219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8082] ppid=8065 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8082/stat : 8082 (java) R 8065 8065 7102 0 -1 4202560 2481 0 0 0 103 0 0 0 20 0 20 0 4268436 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650344104800 139650999226347 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8083] ppid=8065 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8083/stat : 8083 (java) S 8065 8065 7102 0 -1 1077944384 1448 0 0 0 91 0 0 0 20 0 20 0 4268436 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650343065968 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8084] ppid=8065 vsize=13269256 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8084/stat : 8084 (java) S 8065 8065 7102 0 -1 1077944384 1999 0 0 0 57 0 0 0 20 0 20 0 4268436 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650342013168 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8085] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8085/stat : 8085 (java) S 8065 8065 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4268437 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650340961120 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8086] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8086/stat : 8086 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4268437 13587718144 59520 33554432000 4194304 4196468 140727421516976 139650339908400 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 13278768
[startup+3.10083 s]
/proc/loadavg: 16.09 12.98 10.93 11/292 8086
/proc/meminfo: memFree=27704584/32770624 swapFree=5656/284992
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
[pid=8066] ppid=8065 vsize=13269256 CPUtime=9.39 cores=0,2,4,6,8,10,12,14
/proc/8066/stat : 8066 (java) S 8065 8065 7102 0 -1 1077944320 19457 0 0 0 863 76 0 0 20 0 20 0 4268428 13587718144 166931 33554432000 4194304 4196468 140727421516976 140727421499520 139651021209335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
/proc/8066/statm: 3317314 166931 3254 1 0 3304547 0
[pid=8066/tid=8067] ppid=8065 vsize=13269256 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8067/stat : 8067 (java) R 8065 8065 7102 0 -1 4202560 6910 0 0 0 277 10 0 0 20 0 20 0 4268429 13587718144 166931 33554432000 4194304 4196468 140727421516976 139651025445176 139650615008812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8069] ppid=8065 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8069/stat : 8069 (java) S 8065 8065 7102 0 -1 1077944384 94 0 0 0 8 6 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650939689872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8070] ppid=8065 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8070/stat : 8070 (java) S 8065 8065 7102 0 -1 1077944384 68 0 0 0 7 7 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650938637072 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8071] ppid=8065 vsize=13269256 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8071/stat : 8071 (java) S 8065 8065 7102 0 -1 1077944384 93 0 0 0 5 7 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650937584784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8072] ppid=8065 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8072/stat : 8072 (java) S 8065 8065 7102 0 -1 1077944384 87 0 0 0 6 9 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650936531984 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8073] ppid=8065 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8073/stat : 8073 (java) S 8065 8065 7102 0 -1 1077944384 79 0 0 0 7 8 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650935478672 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8074] ppid=8065 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8074/stat : 8074 (java) S 8065 8065 7102 0 -1 1077944384 84 0 0 0 7 8 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650934425872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8075] ppid=8065 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8075/stat : 8075 (java) S 8065 8065 7102 0 -1 1077944384 89 0 0 0 8 6 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650933373584 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8076] ppid=8065 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8076/stat : 8076 (java) S 8065 8065 7102 0 -1 1077944384 122 0 0 0 8 8 0 0 20 0 20 0 4268430 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650932320784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8077] ppid=8065 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8077/stat : 8077 (java) S 8065 8065 7102 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 20 0 4268432 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650349382256 139651021220482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8078] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8078/stat : 8078 (java) S 8065 8065 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650348328288 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8079] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8079/stat : 8079 (java) S 8065 8065 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650347275904 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8080] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8080/stat : 8080 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4268436 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650346224208 139651021227931 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8081] ppid=8065 vsize=13269256 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8081/stat : 8081 (java) S 8065 8065 7102 0 -1 1077944384 2594 0 0 0 148 0 0 0 20 0 20 0 4268436 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650345171056 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8082] ppid=8065 vsize=13269256 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8082/stat : 8082 (java) S 8065 8065 7102 0 -1 1077944384 2820 0 0 0 154 0 0 0 20 0 20 0 4268436 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650344118256 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8083] ppid=8065 vsize=13269256 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8083/stat : 8083 (java) S 8065 8065 7102 0 -1 1077944384 2451 0 0 0 148 0 0 0 20 0 20 0 4268436 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650343065968 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8084] ppid=8065 vsize=13269256 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8084/stat : 8084 (java) S 8065 8065 7102 0 -1 1077944384 2202 0 0 0 71 0 0 0 20 0 20 0 4268436 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650342013168 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8085] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8085/stat : 8085 (java) S 8065 8065 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4268437 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650340961120 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8086] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8086/stat : 8086 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4268437 13587718144 166931 33554432000 4194304 4196468 140727421516976 139650339908400 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 13278768
[startup+6.30094 s]
/proc/loadavg: 15.52 12.92 10.92 10/292 8086
/proc/meminfo: memFree=26467116/32770624 swapFree=5656/285004
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
[pid=8066] ppid=8065 vsize=13269256 CPUtime=13 cores=0,2,4,6,8,10,12,14
/proc/8066/stat : 8066 (java) S 8065 8065 7102 0 -1 1077944320 21862 0 0 0 1187 113 0 0 20 0 20 0 4268428 13587718144 545524 33554432000 4194304 4196468 140727421516976 140727421499520 139651021209335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
/proc/8066/statm: 3317314 545524 3254 1 0 3304547 0
[pid=8066/tid=8067] ppid=8065 vsize=13269256 CPUtime=6.02 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8067/stat : 8067 (java) R 8065 8065 7102 0 -1 4202560 7788 0 0 0 571 31 0 0 20 0 20 0 4268429 13587718144 545524 33554432000 4194304 4196468 140727421516976 139651025446208 139650616727981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8069] ppid=8065 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8069/stat : 8069 (java) S 8065 8065 7102 0 -1 1077944384 178 0 0 0 11 8 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650939689872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8070] ppid=8065 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8070/stat : 8070 (java) S 8065 8065 7102 0 -1 1077944384 96 0 0 0 9 9 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650938637072 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8071] ppid=8065 vsize=13269256 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8071/stat : 8071 (java) S 8065 8065 7102 0 -1 1077944384 205 0 0 0 7 9 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650937584784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8072] ppid=8065 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8072/stat : 8072 (java) S 8065 8065 7102 0 -1 1077944384 104 0 0 0 9 11 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650936531984 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8073] ppid=8065 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8073/stat : 8073 (java) S 8065 8065 7102 0 -1 1077944384 115 0 0 0 9 10 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650935478672 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8074] ppid=8065 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8074/stat : 8074 (java) S 8065 8065 7102 0 -1 1077944384 106 0 0 0 10 10 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650934425872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8075] ppid=8065 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8075/stat : 8075 (java) S 8065 8065 7102 0 -1 1077944384 101 0 0 0 9 8 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650933373584 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8076] ppid=8065 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8076/stat : 8076 (java) S 8065 8065 7102 0 -1 1077944384 204 0 0 0 11 10 0 0 20 0 20 0 4268430 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650932320784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8077] ppid=8065 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8077/stat : 8077 (java) S 8065 8065 7102 0 -1 1077944384 1582 0 0 0 2 0 0 0 20 0 20 0 4268432 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650349382256 139651021220482 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8078] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8078/stat : 8078 (java) S 8065 8065 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650348328288 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8079] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8079/stat : 8079 (java) S 8065 8065 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650347275904 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8080] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8080/stat : 8080 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4268436 13587718144 545524 33554432000 4194304 4196468 140727421516976 139650346224208 139651021227931 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
################
# More data... #
################
/proc/8066/task/8079/stat : 8079 (java) S 8065 8065 7102 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650347275904 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8080] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8080/stat : 8080 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650346224208 139651021227931 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8081] ppid=8065 vsize=13269256 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8081/stat : 8081 (java) S 8065 8065 7102 0 -1 1077944384 7808 0 0 0 286 0 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650345171056 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8082] ppid=8065 vsize=13269256 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8082/stat : 8082 (java) S 8065 8065 7102 0 -1 1077944384 6820 0 0 0 283 0 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650344118256 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8083] ppid=8065 vsize=13269256 CPUtime=2.55 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8083/stat : 8083 (java) S 8065 8065 7102 0 -1 1077944384 7186 0 0 0 254 1 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650343065968 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8084] ppid=8065 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8084/stat : 8084 (java) S 8065 8065 7102 0 -1 1077944384 6439 0 0 0 89 1 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650342013168 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8085] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8085/stat : 8085 (java) S 8065 8065 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4268437 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650340961120 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8086] ppid=8065 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8086/stat : 8086 (java) S 8065 8065 7102 0 -1 1077944384 104 0 0 0 6 4 0 0 20 0 20 0 4268437 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650339908400 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
Current children cumulated CPU time (s) 216.7
Current children cumulated vsize (KiB) 13278768
[startup+164.009 s]
/proc/loadavg: 2.92 8.75 9.67 3/284 8176
/proc/meminfo: memFree=22494564/32770624 swapFree=5656/285316
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
[pid=8066] ppid=8065 vsize=13269256 CPUtime=217.5 cores=0,2,4,6,8,10,12,14
/proc/8066/stat : 8066 (java) S 8065 8065 7102 0 -1 1077944320 90413 0 0 0 20850 900 0 0 20 0 20 0 4268428 13587718144 1195368 33554432000 4194304 4196468 140727421516976 140727421499520 139651021209335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
/proc/8066/statm: 3317314 1195368 3283 1 0 3304547 0
[pid=8066/tid=8067] ppid=8065 vsize=13269256 CPUtime=157.19 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8067/stat : 8067 (java) R 8065 8065 7102 0 -1 4202560 22825 0 0 0 15668 51 0 0 20 0 20 0 4268429 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139651025447376 139650619385907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8069] ppid=8065 vsize=13269256 CPUtime=6.37 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8069/stat : 8069 (java) S 8065 8065 7102 0 -1 1077944384 3610 0 0 0 531 106 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650939689872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8070] ppid=8065 vsize=13269256 CPUtime=6.37 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8070/stat : 8070 (java) S 8065 8065 7102 0 -1 1077944384 4427 0 0 0 532 105 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650938637072 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8071] ppid=8065 vsize=13269256 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8071/stat : 8071 (java) S 8065 8065 7102 0 -1 1077944384 3784 0 0 0 525 103 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650937584784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8072] ppid=8065 vsize=13269256 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8072/stat : 8072 (java) S 8065 8065 7102 0 -1 1077944384 3339 0 0 0 528 106 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650936531984 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8073] ppid=8065 vsize=13269256 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8073/stat : 8073 (java) S 8065 8065 7102 0 -1 1077944384 3489 0 0 0 521 104 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650935478672 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8074] ppid=8065 vsize=13269256 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8074/stat : 8074 (java) S 8065 8065 7102 0 -1 1077944384 3894 0 0 0 532 103 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650934425872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8075] ppid=8065 vsize=13269256 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8075/stat : 8075 (java) S 8065 8065 7102 0 -1 1077944384 4598 0 0 0 537 103 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650933373584 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8076] ppid=8065 vsize=13269256 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8076/stat : 8076 (java) S 8065 8065 7102 0 -1 1077944384 3899 0 0 0 530 105 0 0 20 0 20 0 4268430 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650932320784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8077] ppid=8065 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8077/stat : 8077 (java) S 8065 8065 7102 0 -1 1077944384 6796 0 0 0 20 1 0 0 20 0 20 0 4268432 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650349382256 139651021220482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8078] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8078/stat : 8078 (java) S 8065 8065 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650348328288 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8079] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8079/stat : 8079 (java) S 8065 8065 7102 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 20 0 4268433 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650347275904 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8080] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8080/stat : 8080 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650346224208 139651021227931 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8081] ppid=8065 vsize=13269256 CPUtime=2.86 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8081/stat : 8081 (java) S 8065 8065 7102 0 -1 1077944384 7808 0 0 0 286 0 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650345171056 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8082] ppid=8065 vsize=13269256 CPUtime=2.83 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8082/stat : 8082 (java) S 8065 8065 7102 0 -1 1077944384 6820 0 0 0 283 0 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650344118256 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8083] ppid=8065 vsize=13269256 CPUtime=2.55 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8083/stat : 8083 (java) S 8065 8065 7102 0 -1 1077944384 7186 0 0 0 254 1 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650343065968 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8084] ppid=8065 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8084/stat : 8084 (java) S 8065 8065 7102 0 -1 1077944384 6439 0 0 0 89 1 0 0 20 0 20 0 4268436 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650342013168 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8085] ppid=8065 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8085/stat : 8085 (java) S 8065 8065 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4268437 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650340961120 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8086] ppid=8065 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8086/stat : 8086 (java) S 8065 8065 7102 0 -1 1077944384 128 0 0 0 6 4 0 0 20 0 20 0 4268437 13587718144 1195368 33554432000 4194304 4196468 140727421516976 139650339908400 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
Current children cumulated CPU time (s) 217.5
Current children cumulated vsize (KiB) 13278768
[startup+164.401 s]
/proc/loadavg: 2.92 8.75 9.67 3/284 8176
/proc/meminfo: memFree=22494564/32770624 swapFree=5656/285316
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
[pid=8066] ppid=8065 vsize=13801768 CPUtime=218.62 cores=0,2,4,6,8,10,12,14
/proc/8066/stat : 8066 (java) S 8065 8065 7102 0 -1 1077944320 100158 0 0 0 20959 903 0 0 20 0 28 0 4268428 14133010432 1195486 33554432000 4194304 4196468 140727421516976 140727421499520 139651021209335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
/proc/8066/statm: 3450442 1195486 3283 1 0 3437675 0
[pid=8066/tid=8067] ppid=8065 vsize=13801768 CPUtime=157.49 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8067/stat : 8067 (java) S 8065 8065 7102 0 -1 1077944384 24093 0 0 0 15698 51 0 0 20 0 28 0 4268429 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139651025450112 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8069] ppid=8065 vsize=13801768 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8069/stat : 8069 (java) S 8065 8065 7102 0 -1 1077944384 4408 0 0 0 539 106 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650939689872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8070] ppid=8065 vsize=13801768 CPUtime=6.46 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8070/stat : 8070 (java) S 8065 8065 7102 0 -1 1077944384 5275 0 0 0 540 106 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650938637072 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8071] ppid=8065 vsize=13801768 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8071/stat : 8071 (java) S 8065 8065 7102 0 -1 1077944384 4065 0 0 0 532 103 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650937584784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8072] ppid=8065 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8072/stat : 8072 (java) S 8065 8065 7102 0 -1 1077944384 4226 0 0 0 536 107 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650936531984 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8073] ppid=8065 vsize=13801768 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8073/stat : 8073 (java) S 8065 8065 7102 0 -1 1077944384 3687 0 0 0 529 104 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650935478672 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8074] ppid=8065 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8074/stat : 8074 (java) S 8065 8065 7102 0 -1 1077944384 4527 0 0 0 540 103 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650934425872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8075] ppid=8065 vsize=13801768 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8075/stat : 8075 (java) S 8065 8065 7102 0 -1 1077944384 5366 0 0 0 545 103 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650933373584 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8076] ppid=8065 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8076/stat : 8076 (java) S 8065 8065 7102 0 -1 1077944384 4600 0 0 0 538 105 0 0 20 0 28 0 4268430 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650932320784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8077] ppid=8065 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8077/stat : 8077 (java) S 8065 8065 7102 0 -1 1077944384 7409 0 0 0 20 1 0 0 20 0 28 0 4268432 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650349382256 139651021220482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8078] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8078/stat : 8078 (java) S 8065 8065 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4268433 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650348328288 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8079] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8079/stat : 8079 (java) S 8065 8065 7102 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 4268433 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650347275904 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8080] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8080/stat : 8080 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4268436 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650346224208 139651021227931 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8081] ppid=8065 vsize=13801768 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8081/stat : 8081 (java) S 8065 8065 7102 0 -1 1077944384 8273 0 0 0 289 0 0 0 20 0 28 0 4268436 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650345171056 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8082] ppid=8065 vsize=13801768 CPUtime=2.87 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8082/stat : 8082 (java) R 8065 8065 7102 0 -1 4202560 7232 0 0 0 286 1 0 0 20 0 28 0 4268436 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650344118256 139651002388422 0 4 0 16800975 0 0 0 -1 8 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8083] ppid=8065 vsize=13801768 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8083/stat : 8083 (java) S 8065 8065 7102 0 -1 1077944384 7985 0 0 0 258 1 0 0 20 0 28 0 4268436 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650343065968 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 8 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8084] ppid=8065 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8084/stat : 8084 (java) R 8065 8065 7102 0 -1 4202560 7199 0 0 0 91 1 0 0 20 0 28 0 4268436 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650342013168 139651005289822 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8085] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8085/stat : 8085 (java) S 8065 8065 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4268437 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650340961120 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8086] ppid=8065 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8086/stat : 8086 (java) S 8065 8065 7102 0 -1 1077944384 128 0 0 0 6 4 0 0 20 0 28 0 4268437 14133010432 1195486 33554432000 4194304 4196468 140727421516976 139650339908400 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
Current children cumulated CPU time (s) 218.62
Current children cumulated vsize (KiB) 13811280
[startup+164.501 s]
/proc/loadavg: 2.92 8.75 9.67 3/284 8176
/proc/meminfo: memFree=22494564/32770624 swapFree=5656/285316
[pid=8065] ppid=8062 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8065/stat : 8065 (xcsp3-exec) S 8062 8065 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4268428 9740288 345 33554432000 4194304 5098028 140732409842544 140732409840648 140023117075068 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 28278784 140732409844878 140732409845088 140732409845088 140732409847787 0
/proc/8065/statm: 2378 345 289 221 0 87 0
[pid=8066] ppid=8065 vsize=13801768 CPUtime=219.38 cores=0,2,4,6,8,10,12,14
/proc/8066/stat : 8066 (java) S 8065 8065 7102 0 -1 1077944320 100843 0 0 0 21035 903 0 0 20 0 28 0 4268428 14133010432 1195522 33554432000 4194304 4196468 140727421516976 140727421499520 139651021209335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
/proc/8066/statm: 3450442 1195522 3284 1 0 3437675 0
[pid=8066/tid=8067] ppid=8065 vsize=13801768 CPUtime=157.49 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8067/stat : 8067 (java) S 8065 8065 7102 0 -1 1077944384 24093 0 0 0 15698 51 0 0 20 0 28 0 4268429 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139651025450112 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8069] ppid=8065 vsize=13801768 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8069/stat : 8069 (java) S 8065 8065 7102 0 -1 1077944384 4408 0 0 0 539 106 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650939689872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8070] ppid=8065 vsize=13801768 CPUtime=6.46 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8070/stat : 8070 (java) S 8065 8065 7102 0 -1 1077944384 5275 0 0 0 540 106 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650938637072 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8071] ppid=8065 vsize=13801768 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8071/stat : 8071 (java) S 8065 8065 7102 0 -1 1077944384 4065 0 0 0 532 103 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650937584784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8072] ppid=8065 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8072/stat : 8072 (java) S 8065 8065 7102 0 -1 1077944384 4226 0 0 0 536 107 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650936531984 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8073] ppid=8065 vsize=13801768 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8073/stat : 8073 (java) S 8065 8065 7102 0 -1 1077944384 3687 0 0 0 529 104 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650935478672 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8074] ppid=8065 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8074/stat : 8074 (java) S 8065 8065 7102 0 -1 1077944384 4527 0 0 0 540 103 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650934425872 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8075] ppid=8065 vsize=13801768 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8075/stat : 8075 (java) S 8065 8065 7102 0 -1 1077944384 5366 0 0 0 545 103 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650933373584 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8076] ppid=8065 vsize=13801768 CPUtime=6.43 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8076/stat : 8076 (java) S 8065 8065 7102 0 -1 1077944384 4600 0 0 0 538 105 0 0 20 0 28 0 4268430 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650932320784 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8077] ppid=8065 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8077/stat : 8077 (java) S 8065 8065 7102 0 -1 1077944384 7409 0 0 0 20 1 0 0 20 0 28 0 4268432 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650349382256 139651021220482 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8078] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8078/stat : 8078 (java) S 8065 8065 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4268433 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650348328288 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8079] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8079/stat : 8079 (java) S 8065 8065 7102 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 4268433 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650347275904 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8080] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8080/stat : 8080 (java) S 8065 8065 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4268436 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650346224208 139651021227931 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8081] ppid=8065 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8081/stat : 8081 (java) R 8065 8065 7102 0 -1 4202560 8537 0 0 0 293 0 0 0 20 0 28 0 4268436 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650345156896 139651021221270 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8082] ppid=8065 vsize=13801768 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8082/stat : 8082 (java) R 8065 8065 7102 0 -1 4202560 7389 0 0 0 292 1 0 0 20 0 28 0 4268436 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650344106608 139651005962200 0 4 0 16800975 0 0 0 -1 12 0 0 4 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8083] ppid=8065 vsize=13801768 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8083/stat : 8083 (java) S 8065 8065 7102 0 -1 1077944384 8040 0 0 0 262 1 0 0 20 0 28 0 4268436 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650343065968 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8084] ppid=8065 vsize=13801768 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8084/stat : 8084 (java) R 8065 8065 7102 0 -1 4202560 7319 0 0 0 94 1 0 0 20 0 28 0 4268436 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650342008208 139651005317434 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8085] ppid=8065 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8085/stat : 8085 (java) S 8065 8065 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4268437 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650340961120 139651021219541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
[pid=8066/tid=8086] ppid=8065 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8066/task/8086/stat : 8086 (java) S 8065 8065 7102 0 -1 1077944384 128 0 0 0 6 4 0 0 20 0 28 0 4268437 14133010432 1195522 33554432000 4194304 4196468 140727421516976 139650339908400 139651021220482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 21970944 140727421519036 140727421519212 140727421519212 140727421521871 0
Current children cumulated CPU time (s) 219.38
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 164.542
CPU time (s): 219.451
CPU user time (s): 210.388
CPU system time (s): 9.06341
CPU usage (%): 133.371
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.388
system time used= 9.06341
maximum resident set size= 4789720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10915
involuntary context switches= 13499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50544 second user time and 1.1049 second system time
The end