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-4249398-1500694387/watcher-4249398-1500694387 -o /tmp/evaluation-result-4249398-1500694387/solver-4249398-1500694387 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1096629693 HOME/instance-4249398-1500694387.xml
pid=17059
running on 8 cores: 0-3,8-11
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.97 15.26 14.34 10/277 17062
/proc/meminfo: memFree=30525500/32770624 swapFree=5944/268164
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
[startup+0.100062 s]
/proc/loadavg: 15.97 15.26 14.34 10/277 17062
/proc/meminfo: memFree=30525500/32770624 swapFree=5944/268164
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200252 s]
/proc/loadavg: 15.97 15.26 14.34 10/277 17062
/proc/meminfo: memFree=30525500/32770624 swapFree=5944/268164
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300213 s]
/proc/loadavg: 15.97 15.26 14.34 10/277 17062
/proc/meminfo: memFree=30525500/32770624 swapFree=5944/268164
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700862 s]
/proc/loadavg: 15.97 15.26 14.34 10/277 17062
/proc/meminfo: memFree=30525500/32770624 swapFree=5944/268164
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50099 s]
/proc/loadavg: 15.41 15.16 14.31 10/298 17083
/proc/meminfo: memFree=30331388/32770624 swapFree=5944/268300
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
[pid=17063] ppid=17062 vsize=13267208 CPUtime=2.78 cores=0-3,8-11
/proc/17063/stat : 17063 (java) S 17062 17062 18810 0 -1 1077944320 13132 0 0 0 267 11 0 0 20 0 20 0 4705863 13585620992 51616 33554432000 4194304 4196468 140736671836784 140736671819328 139623884099319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
/proc/17063/statm: 3316802 51616 3211 1 0 3304035 0
[pid=17063/tid=17064] ppid=17062 vsize=13267208 CPUtime=1.45 cores=0-3,8-11
/proc/17063/task/17064/stat : 17064 (java) R 17062 17062 18810 0 -1 4202560 6525 0 0 0 142 3 0 0 20 0 20 0 4705863 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623888337464 139623866507477 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17066] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17066/stat : 17066 (java) S 17062 17062 18810 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623823063312 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17067] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17067/stat : 17067 (java) S 17062 17062 18810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623822010768 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17068] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17068/stat : 17068 (java) S 17062 17062 18810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623820958224 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17069] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17069/stat : 17069 (java) S 17062 17062 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623819905680 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17070] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17070/stat : 17070 (java) S 17062 17062 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623818853136 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17071] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17071/stat : 17071 (java) S 17062 17062 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623477500816 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17072] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17072/stat : 17072 (java) S 17062 17062 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623476448272 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17073] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17073/stat : 17073 (java) S 17062 17062 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4705864 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623475395728 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17074] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17074/stat : 17074 (java) S 17062 17062 18810 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4705867 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623211718640 139623884110466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17075] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17075/stat : 17075 (java) S 17062 17062 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4705867 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623210664864 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17076] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17076/stat : 17076 (java) S 17062 17062 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4705868 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623209612272 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17077] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17077/stat : 17077 (java) S 17062 17062 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4705871 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623208560848 139623884117915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17078] ppid=17062 vsize=13267208 CPUtime=0.29 cores=0-3,8-11
/proc/17063/task/17078/stat : 17078 (java) S 17062 17062 18810 0 -1 1077944384 1088 0 0 0 29 0 0 0 20 0 20 0 4705871 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623207508464 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17079] ppid=17062 vsize=13267208 CPUtime=0.3 cores=0-3,8-11
/proc/17063/task/17079/stat : 17079 (java) S 17062 17062 18810 0 -1 1077944384 1146 0 0 0 30 0 0 0 20 0 20 0 4705871 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623206455920 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17080] ppid=17062 vsize=13267208 CPUtime=0.3 cores=0-3,8-11
/proc/17063/task/17080/stat : 17080 (java) S 17062 17062 18810 0 -1 1077944384 1456 0 0 0 30 0 0 0 20 0 20 0 4705871 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623205403376 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17081] ppid=17062 vsize=13267208 CPUtime=0.3 cores=0-3,8-11
/proc/17063/task/17081/stat : 17081 (java) S 17062 17062 18810 0 -1 1077944384 1460 0 0 0 29 1 0 0 20 0 20 0 4705871 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623204350832 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17082] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17082/stat : 17082 (java) S 17062 17062 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4705871 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623203297504 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17083] ppid=17062 vsize=13267208 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17083/stat : 17083 (java) S 17062 17062 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4705872 13585620992 51616 33554432000 4194304 4196468 140736671836784 139623202245040 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 13276720
[startup+3.1011 s]
/proc/loadavg: 15.41 15.16 14.31 10/298 17083
/proc/meminfo: memFree=30304300/32770624 swapFree=5944/268296
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
[pid=17063] ppid=17062 vsize=13269256 CPUtime=4.74 cores=0-3,8-11
/proc/17063/stat : 17063 (java) S 17062 17062 18810 0 -1 1077944320 13954 0 0 0 456 18 0 0 20 0 20 0 4705863 13587718144 58150 33554432000 4194304 4196468 140736671836784 140736671819328 139623884099319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
/proc/17063/statm: 3317314 58150 3222 1 0 3304547 0
[pid=17063/tid=17064] ppid=17062 vsize=13269256 CPUtime=3.03 cores=0-3,8-11
/proc/17063/task/17064/stat : 17064 (java) R 17062 17062 18810 0 -1 4202560 6649 0 0 0 300 3 0 0 20 0 20 0 4705863 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623888334528 139623502062081 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17066] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17066/stat : 17066 (java) S 17062 17062 18810 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623823063312 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17067] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17067/stat : 17067 (java) S 17062 17062 18810 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623822010768 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17068] ppid=17062 vsize=13269256 CPUtime=0.01 cores=0-3,8-11
/proc/17063/task/17068/stat : 17068 (java) S 17062 17062 18810 0 -1 1077944384 69 0 0 0 0 1 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623820958224 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17069] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17069/stat : 17069 (java) S 17062 17062 18810 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623819905680 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17070] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17070/stat : 17070 (java) S 17062 17062 18810 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623818853136 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17071] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17071/stat : 17071 (java) S 17062 17062 18810 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623477500816 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17072] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17072/stat : 17072 (java) S 17062 17062 18810 0 -1 1077944384 64 0 0 0 0 2 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623476448272 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17073] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17073/stat : 17073 (java) S 17062 17062 18810 0 -1 1077944384 83 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623475395728 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17074] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17074/stat : 17074 (java) S 17062 17062 18810 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 20 0 4705867 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623211718640 139623884110466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17075] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17075/stat : 17075 (java) S 17062 17062 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4705867 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623210664928 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17076] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17076/stat : 17076 (java) S 17062 17062 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4705868 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623209612288 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17077] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17077/stat : 17077 (java) S 17062 17062 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4705871 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623208560848 139623884117915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17078] ppid=17062 vsize=13269256 CPUtime=0.34 cores=0-3,8-11
/proc/17063/task/17078/stat : 17078 (java) S 17062 17062 18810 0 -1 1077944384 1105 0 0 0 34 0 0 0 20 0 20 0 4705871 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623207508464 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17079] ppid=17062 vsize=13269256 CPUtime=0.39 cores=0-3,8-11
/proc/17063/task/17079/stat : 17079 (java) S 17062 17062 18810 0 -1 1077944384 1173 0 0 0 39 0 0 0 20 0 20 0 4705871 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623206455920 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17080] ppid=17062 vsize=13269256 CPUtime=0.35 cores=0-3,8-11
/proc/17063/task/17080/stat : 17080 (java) S 17062 17062 18810 0 -1 1077944384 1485 0 0 0 35 0 0 0 20 0 20 0 4705871 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623205403376 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17081] ppid=17062 vsize=13269256 CPUtime=0.36 cores=0-3,8-11
/proc/17063/task/17081/stat : 17081 (java) S 17062 17062 18810 0 -1 1077944384 1554 0 0 0 35 1 0 0 20 0 20 0 4705871 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623204350832 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17082] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17082/stat : 17082 (java) S 17062 17062 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4705871 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623203297504 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17083] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17083/stat : 17083 (java) S 17062 17062 18810 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4705872 13587718144 58150 33554432000 4194304 4196468 140736671836784 139623202245040 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 13278768
[startup+6.30106 s]
/proc/loadavg: 15.41 15.16 14.31 10/298 17083
/proc/meminfo: memFree=30258448/32770624 swapFree=5944/268304
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
[pid=17063] ppid=17062 vsize=13269256 CPUtime=7.98 cores=0-3,8-11
/proc/17063/stat : 17063 (java) S 17062 17062 18810 0 -1 1077944320 16396 0 0 0 778 20 0 0 20 0 20 0 4705863 13587718144 79684 33554432000 4194304 4196468 140736671836784 140736671819328 139623884099319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
/proc/17063/statm: 3317314 79684 3223 1 0 3304547 0
[pid=17063/tid=17064] ppid=17062 vsize=13269256 CPUtime=6.24 cores=0-3,8-11
/proc/17063/task/17064/stat : 17064 (java) R 17062 17062 18810 0 -1 4202560 7678 0 0 0 619 5 0 0 20 0 20 0 4705863 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623888334304 139623502098515 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17066] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17066/stat : 17066 (java) S 17062 17062 18810 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623823063312 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17067] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17067/stat : 17067 (java) S 17062 17062 18810 0 -1 1077944384 51 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623822010768 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17068] ppid=17062 vsize=13269256 CPUtime=0.01 cores=0-3,8-11
/proc/17063/task/17068/stat : 17068 (java) S 17062 17062 18810 0 -1 1077944384 69 0 0 0 0 1 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623820958224 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17069] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17069/stat : 17069 (java) S 17062 17062 18810 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623819905680 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17070] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17070/stat : 17070 (java) S 17062 17062 18810 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623818853136 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17071] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17071/stat : 17071 (java) S 17062 17062 18810 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623477500816 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17072] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17072/stat : 17072 (java) S 17062 17062 18810 0 -1 1077944384 64 0 0 0 0 2 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623476448272 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17073] ppid=17062 vsize=13269256 CPUtime=0.02 cores=0-3,8-11
/proc/17063/task/17073/stat : 17073 (java) S 17062 17062 18810 0 -1 1077944384 83 0 0 0 1 1 0 0 20 0 20 0 4705864 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623475395728 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17074] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17074/stat : 17074 (java) S 17062 17062 18810 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 4705867 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623211718640 139623884110466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17075] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17075/stat : 17075 (java) S 17062 17062 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4705867 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623210664928 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17076] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17076/stat : 17076 (java) S 17062 17062 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4705868 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623209612288 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17077] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17077/stat : 17077 (java) S 17062 17062 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4705871 13587718144 79684 33554432000 4194304 4196468 140736671836784 139623208560848 139623884117915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
################
# More data... #
################
/proc/17063/task/17079/stat : 17079 (java) S 17062 17062 18810 0 -1 1077944384 3749 0 0 0 98 0 0 0 20 0 20 0 4705871 13587718144 2659516 33554432000 4194304 4196468 140736671836784 139623206455920 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17080] ppid=17062 vsize=13269256 CPUtime=0.62 cores=0-3,8-11
/proc/17063/task/17080/stat : 17080 (java) S 17062 17062 18810 0 -1 1077944384 3515 0 0 0 62 0 0 0 20 0 20 0 4705871 13587718144 2659516 33554432000 4194304 4196468 140736671836784 139623205403376 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17081] ppid=17062 vsize=13269256 CPUtime=0.5 cores=0-3,8-11
/proc/17063/task/17081/stat : 17081 (java) S 17062 17062 18810 0 -1 1077944384 3900 0 0 0 49 1 0 0 20 0 20 0 4705871 13587718144 2659516 33554432000 4194304 4196468 140736671836784 139623204346704 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17082] ppid=17062 vsize=13269256 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17082/stat : 17082 (java) S 17062 17062 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4705871 13587718144 2659516 33554432000 4194304 4196468 140736671836784 139623203297504 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17083] ppid=17062 vsize=13269256 CPUtime=0.06 cores=0-3,8-11
/proc/17063/task/17083/stat : 17083 (java) S 17062 17062 18810 0 -1 1077944384 322 0 0 0 3 3 0 0 20 0 20 0 4705872 13587718144 2659516 33554432000 4194304 4196468 140736671836784 139623202245040 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
Current children cumulated CPU time (s) 238.02
Current children cumulated vsize (KiB) 13278768
[startup+108.101 s]
/proc/loadavg: 6.83 12.39 13.42 10/291 17172
/proc/meminfo: memFree=13929452/32770624 swapFree=5944/268436
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
[pid=17063] ppid=17062 vsize=13335820 CPUtime=242.3 cores=0-3,8-11
/proc/17063/stat : 17063 (java) S 17062 17062 18810 0 -1 1077944320 187251 0 0 0 19876 4354 0 0 20 0 21 0 4705863 13655879680 2659539 33554432000 4194304 4196468 140736671836784 140736671819328 139623884099319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
/proc/17063/statm: 3333955 2659539 3268 1 0 3321188 0
[pid=17063/tid=17064] ppid=17062 vsize=13335820 CPUtime=85.82 cores=0-3,8-11
/proc/17063/task/17064/stat : 17064 (java) S 17062 17062 18810 0 -1 1077944384 10895 0 0 0 8573 9 0 0 20 0 21 0 4705863 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623888340000 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17066] ppid=17062 vsize=13335820 CPUtime=18.63 cores=0-3,8-11
/proc/17063/task/17066/stat : 17066 (java) R 17062 17062 18810 0 -1 4202560 15411 0 0 0 1351 512 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623823063432 139623876727527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17067] ppid=17062 vsize=13335820 CPUtime=18.84 cores=0-3,8-11
/proc/17063/task/17067/stat : 17067 (java) R 17062 17062 18810 0 -1 4202560 17841 0 0 0 1327 557 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623822010888 139623876727527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17068] ppid=17062 vsize=13335820 CPUtime=18.89 cores=0-3,8-11
/proc/17063/task/17068/stat : 17068 (java) R 17062 17062 18810 0 -1 4202560 12686 0 0 0 1332 557 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623820958344 139623876727527 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17069] ppid=17062 vsize=13335820 CPUtime=18.75 cores=0-3,8-11
/proc/17063/task/17069/stat : 17069 (java) R 17062 17062 18810 0 -1 4202560 16952 0 0 0 1345 530 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623819905800 139623876727527 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17070] ppid=17062 vsize=13335820 CPUtime=18.94 cores=0-3,8-11
/proc/17063/task/17070/stat : 17070 (java) R 17062 17062 18810 0 -1 4202560 21349 0 0 0 1298 596 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623818853256 139623876727527 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17071] ppid=17062 vsize=13335820 CPUtime=18.94 cores=0-3,8-11
/proc/17063/task/17071/stat : 17071 (java) R 17062 17062 18810 0 -1 4202560 35247 0 0 0 1352 542 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623477500936 139623867482354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17072] ppid=17062 vsize=13335820 CPUtime=18.63 cores=0-3,8-11
/proc/17063/task/17072/stat : 17072 (java) R 17062 17062 18810 0 -1 4202560 12376 0 0 0 1370 493 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623476448392 139623867482354 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17073] ppid=17062 vsize=13335820 CPUtime=18.82 cores=0-3,8-11
/proc/17063/task/17073/stat : 17073 (java) R 17062 17062 18810 0 -1 4202560 12122 0 0 0 1340 542 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623475395928 139623877202312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17074] ppid=17062 vsize=13335820 CPUtime=3.05 cores=0-3,8-11
/proc/17063/task/17074/stat : 17074 (java) S 17062 17062 18810 0 -1 1077944384 15649 0 0 0 304 1 0 0 20 0 21 0 4705867 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623211717184 139623884109525 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17075] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17075/stat : 17075 (java) S 17062 17062 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 4705867 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623210664928 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17076] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17076/stat : 17076 (java) S 17062 17062 18810 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 21 0 4705868 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623209612288 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17077] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17077/stat : 17077 (java) S 17062 17062 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623208560848 139623884117915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17078] ppid=17062 vsize=13335820 CPUtime=0.67 cores=0-3,8-11
/proc/17063/task/17078/stat : 17078 (java) S 17062 17062 18810 0 -1 1077944384 3848 0 0 0 66 1 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623207508464 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17079] ppid=17062 vsize=13335820 CPUtime=0.98 cores=0-3,8-11
/proc/17063/task/17079/stat : 17079 (java) S 17062 17062 18810 0 -1 1077944384 3749 0 0 0 98 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623206455920 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17080] ppid=17062 vsize=13335820 CPUtime=0.62 cores=0-3,8-11
/proc/17063/task/17080/stat : 17080 (java) S 17062 17062 18810 0 -1 1077944384 3515 0 0 0 62 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623205403376 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17081] ppid=17062 vsize=13335820 CPUtime=0.5 cores=0-3,8-11
/proc/17063/task/17081/stat : 17081 (java) S 17062 17062 18810 0 -1 1077944384 3900 0 0 0 49 1 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623204350832 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17082] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17082/stat : 17082 (java) S 17062 17062 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623203297504 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17083] ppid=17062 vsize=13335820 CPUtime=0.06 cores=0-3,8-11
/proc/17063/task/17083/stat : 17083 (java) S 17062 17062 18810 0 -1 1077944384 322 0 0 0 3 3 0 0 20 0 21 0 4705872 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623202245040 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17172] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17172/stat : 17172 (java) S 17062 17062 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4716621 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623194733888 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
Current children cumulated CPU time (s) 242.3
Current children cumulated vsize (KiB) 13345332
[startup+108.901 s]
/proc/loadavg: 6.83 12.39 13.42 10/291 17172
/proc/meminfo: memFree=13929452/32770624 swapFree=5944/268436
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
[pid=17063] ppid=17062 vsize=13335820 CPUtime=248.3 cores=0-3,8-11
/proc/17063/stat : 17063 (java) S 17062 17062 18810 0 -1 1077944320 187251 0 0 0 20471 4359 0 0 20 0 21 0 4705863 13655879680 2659539 33554432000 4194304 4196468 140736671836784 140736671819328 139623884099319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
/proc/17063/statm: 3333955 2659539 3268 1 0 3321188 0
[pid=17063/tid=17064] ppid=17062 vsize=13335820 CPUtime=85.82 cores=0-3,8-11
/proc/17063/task/17064/stat : 17064 (java) S 17062 17062 18810 0 -1 1077944384 10895 0 0 0 8573 9 0 0 20 0 21 0 4705863 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623888340000 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17066] ppid=17062 vsize=13335820 CPUtime=19.38 cores=0-3,8-11
/proc/17063/task/17066/stat : 17066 (java) S 17062 17062 18810 0 -1 1077944384 15411 0 0 0 1425 513 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623823063312 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17067] ppid=17062 vsize=13335820 CPUtime=19.58 cores=0-3,8-11
/proc/17063/task/17067/stat : 17067 (java) S 17062 17062 18810 0 -1 1077944384 17841 0 0 0 1400 558 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623822010768 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17068] ppid=17062 vsize=13335820 CPUtime=19.63 cores=0-3,8-11
/proc/17063/task/17068/stat : 17068 (java) S 17062 17062 18810 0 -1 1077944384 12686 0 0 0 1406 557 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623820958224 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17069] ppid=17062 vsize=13335820 CPUtime=19.5 cores=0-3,8-11
/proc/17063/task/17069/stat : 17069 (java) S 17062 17062 18810 0 -1 1077944384 16952 0 0 0 1419 531 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623819905680 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17070] ppid=17062 vsize=13335820 CPUtime=19.69 cores=0-3,8-11
/proc/17063/task/17070/stat : 17070 (java) S 17062 17062 18810 0 -1 1077944384 21349 0 0 0 1372 597 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623818853136 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17071] ppid=17062 vsize=13335820 CPUtime=19.68 cores=0-3,8-11
/proc/17063/task/17071/stat : 17071 (java) S 17062 17062 18810 0 -1 1077944384 35247 0 0 0 1425 543 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623477500816 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17072] ppid=17062 vsize=13335820 CPUtime=19.37 cores=0-3,8-11
/proc/17063/task/17072/stat : 17072 (java) S 17062 17062 18810 0 -1 1077944384 12376 0 0 0 1444 493 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623476448272 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17073] ppid=17062 vsize=13335820 CPUtime=19.58 cores=0-3,8-11
/proc/17063/task/17073/stat : 17073 (java) S 17062 17062 18810 0 -1 1077944384 12122 0 0 0 1416 542 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623475395728 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17074] ppid=17062 vsize=13335820 CPUtime=3.09 cores=0-3,8-11
/proc/17063/task/17074/stat : 17074 (java) R 17062 17062 18810 0 -1 4202560 15649 0 0 0 308 1 0 0 20 0 21 0 4705867 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623211717072 139623869095716 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17075] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17075/stat : 17075 (java) S 17062 17062 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 4705867 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623210664928 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17076] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17076/stat : 17076 (java) S 17062 17062 18810 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 21 0 4705868 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623209612288 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17077] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17077/stat : 17077 (java) S 17062 17062 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623208560848 139623884117915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17078] ppid=17062 vsize=13335820 CPUtime=0.67 cores=0-3,8-11
/proc/17063/task/17078/stat : 17078 (java) S 17062 17062 18810 0 -1 1077944384 3848 0 0 0 66 1 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623207508464 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17079] ppid=17062 vsize=13335820 CPUtime=0.98 cores=0-3,8-11
/proc/17063/task/17079/stat : 17079 (java) S 17062 17062 18810 0 -1 1077944384 3749 0 0 0 98 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623206455920 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17080] ppid=17062 vsize=13335820 CPUtime=0.62 cores=0-3,8-11
/proc/17063/task/17080/stat : 17080 (java) S 17062 17062 18810 0 -1 1077944384 3515 0 0 0 62 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623205403376 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17081] ppid=17062 vsize=13335820 CPUtime=0.5 cores=0-3,8-11
/proc/17063/task/17081/stat : 17081 (java) S 17062 17062 18810 0 -1 1077944384 3900 0 0 0 49 1 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623204350832 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17082] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17082/stat : 17082 (java) S 17062 17062 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623203297504 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17083] ppid=17062 vsize=13335820 CPUtime=0.06 cores=0-3,8-11
/proc/17063/task/17083/stat : 17083 (java) S 17062 17062 18810 0 -1 1077944384 322 0 0 0 3 3 0 0 20 0 21 0 4705872 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623202245040 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17172] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17172/stat : 17172 (java) S 17062 17062 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4716621 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623194733888 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
Current children cumulated CPU time (s) 248.3
Current children cumulated vsize (KiB) 13345332
[startup+109.113 s]
/proc/loadavg: 6.83 12.39 13.42 3/291 17172
/proc/meminfo: memFree=13923980/32770624 swapFree=5944/268440
[pid=17062] ppid=17059 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/17062/stat : 17062 (xcsp3-exec) S 17059 17062 18810 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4705863 9740288 346 33554432000 4194304 5098028 140725788809408 140725788807512 139980684571260 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 26161152 140725788812430 140725788812640 140725788812640 140725788815339 0
/proc/17062/statm: 2378 346 289 221 0 87 0
[pid=17063] ppid=17062 vsize=13335820 CPUtime=248.52 cores=0-3,8-11
/proc/17063/stat : 17063 (java) S 17062 17062 18810 0 -1 1077944320 187251 0 0 0 20493 4359 0 0 20 0 21 0 4705863 13655879680 2659539 33554432000 4194304 4196468 140736671836784 140736671819328 139623884099319 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
/proc/17063/statm: 3333955 2659539 3268 1 0 3321188 0
[pid=17063/tid=17064] ppid=17062 vsize=13335820 CPUtime=85.82 cores=0-3,8-11
/proc/17063/task/17064/stat : 17064 (java) S 17062 17062 18810 0 -1 1077944384 10895 0 0 0 8573 9 0 0 20 0 21 0 4705863 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623888340000 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17066] ppid=17062 vsize=13335820 CPUtime=19.38 cores=0-3,8-11
/proc/17063/task/17066/stat : 17066 (java) S 17062 17062 18810 0 -1 1077944384 15411 0 0 0 1425 513 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623823063312 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17067] ppid=17062 vsize=13335820 CPUtime=19.58 cores=0-3,8-11
/proc/17063/task/17067/stat : 17067 (java) S 17062 17062 18810 0 -1 1077944384 17841 0 0 0 1400 558 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623822010768 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17068] ppid=17062 vsize=13335820 CPUtime=19.63 cores=0-3,8-11
/proc/17063/task/17068/stat : 17068 (java) S 17062 17062 18810 0 -1 1077944384 12686 0 0 0 1406 557 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623820958224 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17069] ppid=17062 vsize=13335820 CPUtime=19.5 cores=0-3,8-11
/proc/17063/task/17069/stat : 17069 (java) S 17062 17062 18810 0 -1 1077944384 16952 0 0 0 1419 531 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623819905680 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17070] ppid=17062 vsize=13335820 CPUtime=19.69 cores=0-3,8-11
/proc/17063/task/17070/stat : 17070 (java) S 17062 17062 18810 0 -1 1077944384 21349 0 0 0 1372 597 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623818853136 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17071] ppid=17062 vsize=13335820 CPUtime=19.68 cores=0-3,8-11
/proc/17063/task/17071/stat : 17071 (java) S 17062 17062 18810 0 -1 1077944384 35247 0 0 0 1425 543 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623477500816 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17072] ppid=17062 vsize=13335820 CPUtime=19.37 cores=0-3,8-11
/proc/17063/task/17072/stat : 17072 (java) S 17062 17062 18810 0 -1 1077944384 12376 0 0 0 1444 493 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623476448272 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17073] ppid=17062 vsize=13335820 CPUtime=19.58 cores=0-3,8-11
/proc/17063/task/17073/stat : 17073 (java) S 17062 17062 18810 0 -1 1077944384 12122 0 0 0 1416 542 0 0 20 0 21 0 4705864 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623475395728 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17074] ppid=17062 vsize=13335820 CPUtime=3.3 cores=0-3,8-11
/proc/17063/task/17074/stat : 17074 (java) R 17062 17062 18810 0 -1 4202560 15649 0 0 0 329 1 0 0 20 0 21 0 4705867 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623211717072 139623862469499 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17075] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17075/stat : 17075 (java) S 17062 17062 18810 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 21 0 4705867 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623210664928 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17076] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17076/stat : 17076 (java) S 17062 17062 18810 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 21 0 4705868 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623209612288 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17077] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17077/stat : 17077 (java) S 17062 17062 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623208560848 139623884117915 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17078] ppid=17062 vsize=13335820 CPUtime=0.67 cores=0-3,8-11
/proc/17063/task/17078/stat : 17078 (java) S 17062 17062 18810 0 -1 1077944384 3848 0 0 0 66 1 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623207508464 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17079] ppid=17062 vsize=13335820 CPUtime=0.98 cores=0-3,8-11
/proc/17063/task/17079/stat : 17079 (java) S 17062 17062 18810 0 -1 1077944384 3749 0 0 0 98 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623206455920 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17080] ppid=17062 vsize=13335820 CPUtime=0.62 cores=0-3,8-11
/proc/17063/task/17080/stat : 17080 (java) S 17062 17062 18810 0 -1 1077944384 3515 0 0 0 62 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623205403376 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17081] ppid=17062 vsize=13335820 CPUtime=0.5 cores=0-3,8-11
/proc/17063/task/17081/stat : 17081 (java) S 17062 17062 18810 0 -1 1077944384 3900 0 0 0 49 1 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623204350832 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17082] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17082/stat : 17082 (java) S 17062 17062 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4705871 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623203297504 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17083] ppid=17062 vsize=13335820 CPUtime=0.06 cores=0-3,8-11
/proc/17063/task/17083/stat : 17083 (java) S 17062 17062 18810 0 -1 1077944384 322 0 0 0 3 3 0 0 20 0 21 0 4705872 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623202245040 139623884110466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
[pid=17063/tid=17172] ppid=17062 vsize=13335820 CPUtime=0 cores=0-3,8-11
/proc/17063/task/17172/stat : 17172 (java) S 17062 17062 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 4716621 13655879680 2659539 33554432000 4194304 4196468 140736671836784 139623194733888 139623884109525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15486976 140736671843516 140736671843692 140736671843692 140736671846351 0
Current children cumulated CPU time (s) 248.52
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 109.19
CPU time (s): 248.595
CPU user time (s): 204.944
CPU system time (s): 43.651
CPU usage (%): 227.672
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.944
system time used= 43.651
maximum resident set size= 10638484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187820
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8229
involuntary context switches= 17434
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0108 second user time and 1.39348 second system time
The end