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-4249925-1500695720/watcher-4249925-1500695720 -o /tmp/evaluation-result-4249925-1500695720/solver-4249925-1500695720 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 418215734 HOME/instance-4249925-1500695720.xml
pid=12049
running on 8 cores: 1,3,5,7,9,11,13,15
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.99 15.30 14.37 10/271 12052
/proc/meminfo: memFree=30837324/32770624 swapFree=5892/131100
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[startup+0.100074 s]
/proc/loadavg: 15.99 15.30 14.37 10/271 12052
/proc/meminfo: memFree=30837324/32770624 swapFree=5892/131100
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200335 s]
/proc/loadavg: 15.99 15.30 14.37 10/271 12052
/proc/meminfo: memFree=30837324/32770624 swapFree=5892/131100
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300263 s]
/proc/loadavg: 15.99 15.30 14.37 10/271 12052
/proc/meminfo: memFree=30837324/32770624 swapFree=5892/131100
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700236 s]
/proc/loadavg: 15.99 15.30 14.37 10/271 12052
/proc/meminfo: memFree=30837324/32770624 swapFree=5892/131100
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50108 s]
/proc/loadavg: 15.99 15.30 14.37 10/292 12073
/proc/meminfo: memFree=30629508/32770624 swapFree=5892/131132
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=3.39 cores=1,3,5,7,9,11,13,15
/proc/12053/stat : 12053 (java) S 12052 12052 15667 0 -1 1077944320 14948 0 0 0 316 23 0 0 20 0 20 0 4841727 13587718144 55205 33554432000 4194304 4196468 140736556581344 140736556563888 140103833034487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
/proc/12053/statm: 3317314 55205 3215 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12054/stat : 12054 (java) R 12052 12052 15667 0 -1 4202560 6806 0 0 0 138 5 0 0 20 0 20 0 4841727 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103837270024 140103464789349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15667 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103785654800 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15667 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103784602256 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15667 0 -1 1077944384 33 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103783549200 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15667 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103782496656 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15667 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103781444624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15667 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103426440336 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15667 0 -1 1077944384 34 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103425387280 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15667 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103424334736 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103161141488 140103833045634 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103160087776 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4841732 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103159034624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4841735 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103157983184 140103833053083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12068] ppid=12052 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15667 0 -1 1077944384 1286 0 0 0 38 0 0 0 20 0 20 0 4841735 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103156931312 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12069] ppid=12052 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15667 0 -1 1077944384 1340 0 0 0 42 0 0 0 20 0 20 0 4841735 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103155878768 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12070] ppid=12052 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15667 0 -1 1077944384 2055 0 0 0 50 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103154825712 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12071] ppid=12052 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15667 0 -1 1077944384 1820 0 0 0 33 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103153773168 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12072] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103152720352 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12073] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103151667888 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 13278768
[startup+3.10108 s]
/proc/loadavg: 15.99 15.30 14.37 10/292 12073
/proc/meminfo: memFree=30628632/32770624 swapFree=5892/131132
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/12053/stat : 12053 (java) S 12052 12052 15667 0 -1 1077944320 15007 0 0 0 476 23 0 0 20 0 20 0 4841727 13587718144 55205 33554432000 4194304 4196468 140736556581344 140736556563888 140103833034487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
/proc/12053/statm: 3317314 55205 3215 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12054/stat : 12054 (java) R 12052 12052 15667 0 -1 4202560 6832 0 0 0 298 5 0 0 20 0 20 0 4841727 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103837269600 140103464789458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15667 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103785654800 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15667 0 -1 1077944384 36 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103784602256 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15667 0 -1 1077944384 33 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103783549200 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15667 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103782496656 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15667 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103781444624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15667 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103426440336 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15667 0 -1 1077944384 34 0 0 0 1 2 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103425387280 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15667 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 20 0 4841728 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103424334736 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103161141488 140103833045634 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103160087776 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15667 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4841732 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103159034624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4841735 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103157983184 140103833053083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12068] ppid=12052 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15667 0 -1 1077944384 1286 0 0 0 38 0 0 0 20 0 20 0 4841735 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103156931312 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12069] ppid=12052 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15667 0 -1 1077944384 1340 0 0 0 42 0 0 0 20 0 20 0 4841735 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103155878768 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12070] ppid=12052 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15667 0 -1 1077944384 2055 0 0 0 50 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103154825712 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12071] ppid=12052 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15667 0 -1 1077944384 1820 0 0 0 33 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103153773168 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12072] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103152720352 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12073] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4841736 13587718144 55205 33554432000 4194304 4196468 140736556581344 140103151667888 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 13278768
[startup+6.30089 s]
/proc/loadavg: 15.43 15.20 14.34 10/292 12073
/proc/meminfo: memFree=30438356/32770624 swapFree=5892/131144
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=8.75 cores=1,3,5,7,9,11,13,15
/proc/12053/stat : 12053 (java) S 12052 12052 15667 0 -1 1077944320 19617 0 0 0 811 64 0 0 20 0 20 0 4841727 13587718144 102748 33554432000 4194304 4196468 140736556581344 140736556563888 140103833034487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
/proc/12053/statm: 3317314 102748 3231 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12054/stat : 12054 (java) R 12052 12052 15667 0 -1 4202560 8341 0 0 0 602 6 0 0 20 0 20 0 4841727 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103837269600 140103464789409 0 4 0 16800975 0 0 0 -1 9 0 0 5 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15667 0 -1 1077944384 84 0 0 0 4 6 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103785654800 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15667 0 -1 1077944384 318 0 0 0 3 6 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103784602256 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15667 0 -1 1077944384 132 0 0 0 4 7 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103783549200 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15667 0 -1 1077944384 121 0 0 0 4 7 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103782496656 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15667 0 -1 1077944384 173 0 0 0 4 6 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103781444624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15667 0 -1 1077944384 94 0 0 0 4 7 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103426440336 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15667 0 -1 1077944384 244 0 0 0 4 6 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103425387280 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15667 0 -1 1077944384 109 0 0 0 4 7 0 0 20 0 20 0 4841728 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103424334736 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15667 0 -1 1077944384 384 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103161141488 140103833045634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15667 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103160087776 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15667 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4841732 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103159034624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4841735 13587718144 102748 33554432000 4194304 4196468 140736556581344 140103157983184 140103833053083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
################
# More data... #
################
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15667 0 -1 1077944384 715 0 0 0 12 20 0 0 20 0 20 0 4841736 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103151667888 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
Current children cumulated CPU time (s) 772.52
Current children cumulated vsize (KiB) 13278768
[startup+484.901 s]
/proc/loadavg: 10.97 8.87 11.17 17/291 12580
/proc/meminfo: memFree=21009500/32770624 swapFree=5892/131884
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=785.17 cores=1,3,5,7,9,11,13,15
/proc/12053/stat : 12053 (java) S 12052 12052 15667 0 -1 1077944320 273522 0 0 0 74968 3549 0 0 20 0 20 0 4841727 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140736556563888 140103833034487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
/proc/12053/statm: 3317314 2649696 3251 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=432.44 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12054/stat : 12054 (java) S 12052 12052 15667 0 -1 1077944384 25130 0 0 0 43223 21 0 0 20 0 20 0 4841727 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103837274272 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 5 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=42.65 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12056/stat : 12056 (java) R 12052 12052 15667 0 -1 4202560 21062 0 0 0 3792 473 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103785654920 140103825662695 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=42.67 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12057/stat : 12057 (java) R 12052 12052 15667 0 -1 4202560 16007 0 0 0 3852 415 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103784602376 140103825662695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=42.76 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12058/stat : 12058 (java) R 12052 12052 15667 0 -1 4202560 18990 0 0 0 3822 454 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103783549320 140103826137473 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=42.66 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12059/stat : 12059 (java) R 12052 12052 15667 0 -1 4202560 38650 0 0 0 3815 451 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103782496776 140103825662695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=42.6 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12060/stat : 12060 (java) R 12052 12052 15667 0 -1 4202560 14103 0 0 0 3830 430 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103781444744 140103825662695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=42.7 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12061/stat : 12061 (java) R 12052 12052 15667 0 -1 4202560 23897 0 0 0 3883 387 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103426440456 140103825662695 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=42.82 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12062/stat : 12062 (java) R 12052 12052 15667 0 -1 4202560 21277 0 0 0 3826 456 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103425387400 140103825662695 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=42.69 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12063/stat : 12063 (java) R 12052 12052 15667 0 -1 4202560 28545 0 0 0 3839 430 0 0 20 0 20 0 4841728 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103424334856 140103825662695 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=8.66 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15667 0 -1 1077944384 48197 0 0 0 860 6 0 0 20 0 20 0 4841731 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103161140032 140103833044693 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15667 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103160087776 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15667 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4841732 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103159034624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4841735 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103157983184 140103833053083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12068] ppid=12052 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15667 0 -1 1077944384 2403 0 0 0 42 0 0 0 20 0 20 0 4841735 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103156931312 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12069] ppid=12052 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15667 0 -1 1077944384 4181 0 0 0 64 1 0 0 20 0 20 0 4841735 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103155878768 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12070] ppid=12052 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15667 0 -1 1077944384 3537 0 0 0 57 0 0 0 20 0 20 0 4841736 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103154825712 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12071] ppid=12052 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15667 0 -1 1077944384 5513 0 0 0 40 0 0 0 20 0 20 0 4841736 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103153773168 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12072] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4841736 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103152720352 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12073] ppid=12052 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15667 0 -1 1077944384 715 0 0 0 12 20 0 0 20 0 20 0 4841736 13587718144 2649696 33554432000 4194304 4196468 140736556581344 140103151667888 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
Current children cumulated CPU time (s) 785.17
Current children cumulated vsize (KiB) 13278768
[startup+485.312 s]
/proc/loadavg: 10.97 8.87 11.17 17/291 12580
/proc/meminfo: memFree=21009500/32770624 swapFree=5892/131884
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=788.44 cores=1,3,5,7,9,11,13,15
/proc/12053/stat : 12053 (java) S 12052 12052 15667 0 -1 1077944320 273756 0 0 0 75292 3552 0 0 20 0 20 0 4841727 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140736556563888 140103833034487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
/proc/12053/statm: 3317314 2649697 3251 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=432.44 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12054/stat : 12054 (java) S 12052 12052 15667 0 -1 1077944384 25130 0 0 0 43223 21 0 0 20 0 20 0 4841727 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103837274272 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 5 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=43.06 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12056/stat : 12056 (java) R 12052 12052 15667 0 -1 4202560 21150 0 0 0 3833 473 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103785654920 140103825662695 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=43.08 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12057/stat : 12057 (java) R 12052 12052 15667 0 -1 4202560 16035 0 0 0 3893 415 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103784602376 140103825662695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=43.15 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12058/stat : 12058 (java) R 12052 12052 15667 0 -1 4202560 18991 0 0 0 3861 454 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103783549320 140103816417522 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=43.07 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12059/stat : 12059 (java) R 12052 12052 15667 0 -1 4202560 38651 0 0 0 3855 452 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103782496776 140103825662695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=43.01 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12060/stat : 12060 (java) R 12052 12052 15667 0 -1 4202560 14103 0 0 0 3871 430 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103781444744 140103818793304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=43.1 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12061/stat : 12061 (java) R 12052 12052 15667 0 -1 4202560 23897 0 0 0 3923 387 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103426440456 140103810259296 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=43.24 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12062/stat : 12062 (java) R 12052 12052 15667 0 -1 4202560 21393 0 0 0 3867 457 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103425387400 140103825662695 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=43.09 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12063/stat : 12063 (java) R 12052 12052 15667 0 -1 4202560 28545 0 0 0 3879 430 0 0 20 0 20 0 4841728 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103424334856 140103825662695 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=8.66 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12064/stat : 12064 (java) S 12052 12052 15667 0 -1 1077944384 48197 0 0 0 860 6 0 0 20 0 20 0 4841731 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103161140032 140103833044693 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15667 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103160087776 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15667 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4841732 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103159034624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4841735 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103157983184 140103833053083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12068] ppid=12052 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15667 0 -1 1077944384 2403 0 0 0 42 0 0 0 20 0 20 0 4841735 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103156931312 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12069] ppid=12052 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15667 0 -1 1077944384 4181 0 0 0 64 1 0 0 20 0 20 0 4841735 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103155878768 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12070] ppid=12052 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15667 0 -1 1077944384 3537 0 0 0 57 0 0 0 20 0 20 0 4841736 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103154825712 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12071] ppid=12052 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15667 0 -1 1077944384 5513 0 0 0 40 0 0 0 20 0 20 0 4841736 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103153773168 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12072] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4841736 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103152720352 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12073] ppid=12052 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15667 0 -1 1077944384 715 0 0 0 12 20 0 0 20 0 20 0 4841736 13587718144 2649697 33554432000 4194304 4196468 140736556581344 140103151667888 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
Current children cumulated CPU time (s) 788.44
Current children cumulated vsize (KiB) 13278768
[startup+485.701 s]
/proc/loadavg: 10.97 8.87 11.17 17/291 12580
/proc/meminfo: memFree=21009500/32770624 swapFree=5892/131884
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=13269256 CPUtime=789.72 cores=1,3,5,7,9,11,13,15
/proc/12053/stat : 12053 (java) S 12052 12052 15667 0 -1 1077944320 273888 0 0 0 75420 3552 0 0 20 0 20 0 4841727 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140736556563888 140103833034487 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
/proc/12053/statm: 3317314 2649698 3251 1 0 3304547 0
[pid=12053/tid=12054] ppid=12052 vsize=13269256 CPUtime=432.44 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12054/stat : 12054 (java) S 12052 12052 15667 0 -1 1077944384 25130 0 0 0 43223 21 0 0 20 0 20 0 4841727 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103837274272 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 5 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12056] ppid=12052 vsize=13269256 CPUtime=43.18 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12056/stat : 12056 (java) S 12052 12052 15667 0 -1 1077944384 21150 0 0 0 3845 473 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103785654800 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12057] ppid=12052 vsize=13269256 CPUtime=43.2 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12057/stat : 12057 (java) S 12052 12052 15667 0 -1 1077944384 16035 0 0 0 3905 415 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103784602256 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12058] ppid=12052 vsize=13269256 CPUtime=43.28 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12058/stat : 12058 (java) S 12052 12052 15667 0 -1 1077944384 18991 0 0 0 3874 454 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103783549200 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12059] ppid=12052 vsize=13269256 CPUtime=43.2 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12059/stat : 12059 (java) S 12052 12052 15667 0 -1 1077944384 38651 0 0 0 3868 452 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103782496656 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12060] ppid=12052 vsize=13269256 CPUtime=43.15 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12060/stat : 12060 (java) S 12052 12052 15667 0 -1 1077944384 14103 0 0 0 3884 431 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103781444624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12061] ppid=12052 vsize=13269256 CPUtime=43.23 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12061/stat : 12061 (java) S 12052 12052 15667 0 -1 1077944384 23897 0 0 0 3936 387 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103426440336 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12062] ppid=12052 vsize=13269256 CPUtime=43.37 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12062/stat : 12062 (java) S 12052 12052 15667 0 -1 1077944384 21393 0 0 0 3880 457 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103425387280 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12063] ppid=12052 vsize=13269256 CPUtime=43.22 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12063/stat : 12063 (java) S 12052 12052 15667 0 -1 1077944384 28545 0 0 0 3892 430 0 0 20 0 20 0 4841728 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103424334736 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12064] ppid=12052 vsize=13269256 CPUtime=8.92 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12064/stat : 12064 (java) R 12052 12052 15667 0 -1 4202560 48328 0 0 0 886 6 0 0 20 0 20 0 4841731 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103161139920 140103817492120 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12065] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12065/stat : 12065 (java) S 12052 12052 15667 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4841731 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103160087776 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12066] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12066/stat : 12066 (java) S 12052 12052 15667 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 4841732 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103159034624 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12067] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12067/stat : 12067 (java) S 12052 12052 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4841735 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103157983184 140103833053083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12068] ppid=12052 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12068/stat : 12068 (java) S 12052 12052 15667 0 -1 1077944384 2403 0 0 0 42 0 0 0 20 0 20 0 4841735 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103156931360 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12069] ppid=12052 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12069/stat : 12069 (java) S 12052 12052 15667 0 -1 1077944384 4181 0 0 0 64 1 0 0 20 0 20 0 4841735 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103155878816 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12070] ppid=12052 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12070/stat : 12070 (java) S 12052 12052 15667 0 -1 1077944384 3537 0 0 0 57 0 0 0 20 0 20 0 4841736 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103154825712 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12071] ppid=12052 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12071/stat : 12071 (java) S 12052 12052 15667 0 -1 1077944384 5514 0 0 0 40 0 0 0 20 0 20 0 4841736 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103153772928 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12072] ppid=12052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12072/stat : 12072 (java) S 12052 12052 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4841736 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103152720352 140103833044693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
[pid=12053/tid=12073] ppid=12052 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12073/stat : 12073 (java) S 12052 12052 15667 0 -1 1077944384 715 0 0 0 12 20 0 0 20 0 20 0 4841736 13587718144 2649698 33554432000 4194304 4196468 140736556581344 140103151667888 140103833045634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10444800 140736556590268 140736556590444 140736556590444 140736556593103 0
Current children cumulated CPU time (s) 789.72
Current children cumulated vsize (KiB) 13278768
[startup+485.808 s]
/proc/loadavg: 10.97 8.87 11.17 17/291 12580
/proc/meminfo: memFree=21009500/32770624 swapFree=5892/131884
[pid=12052] ppid=12049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12052/stat : 12052 (xcsp3-exec) S 12049 12052 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4841727 9740288 346 33554432000 4194304 5098028 140737124295760 140737124293864 139998209913468 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 8310784 140737124299919 140737124300128 140737124300128 140737124302827 0
/proc/12052/statm: 2378 346 289 221 0 87 0
[pid=12053] ppid=12052 vsize=0 CPUtime=789.82 cores=1,3,5,7,9,11,13,15
/proc/12053/stat : 12053 (java) Z 12052 12052 15667 0 -1 4227084 274038 0 0 0 75426 3556 0 0 20 0 2 0 4841727 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12053/statm: 0 0 0 0 0 0 0
[pid=12053/tid=12060] ppid=12052 vsize=0 CPUtime=43.18 cores=1,3,5,7,9,11,13,15
/proc/12053/task/12060/stat : 12060 (java) R 12052 12052 15667 0 -1 4203588 14103 0 0 0 3884 434 0 0 20 0 2 0 4841728 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 789.82
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 485.827
CPU time (s): 789.851
CPU user time (s): 754.268
CPU system time (s): 35.5831
CPU usage (%): 162.579
Max. virtual memory (cumulated for all children) (KiB): 13278768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 754.268
system time used= 35.5831
maximum resident set size= 10599216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18786
involuntary context switches= 51345
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.06333 second user time and 4.34991 second system time
The end