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-4249315-1502083669/watcher-4249315-1502083669 -o /tmp/evaluation-result-4249315-1502083669/solver-4249315-1502083669 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1003810998 HOME/instance-4249315-1502083669.xml
pid=16735
running on 4 cores: 1,3,5,7
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: 5.17 5.41 4.04 3/204 16738
/proc/meminfo: memFree=20845896/32770624 swapFree=0/368620
[pid=16738] ppid=16735 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (runsolver) D 16735 16738 2911 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 108020081 24240128 107 18446744073709551615 4194304 4338465 140732460757488 140732460755128 140354085397207 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 34291712 140732460761174 140732460761673 140732460761673 140732460765130 0
/proc/16738/statm: 5918 107 54 36 0 2156 0
[startup+0.100125 s]
/proc/loadavg: 5.17 5.41 4.04 3/204 16738
/proc/meminfo: memFree=20845896/32770624 swapFree=0/368620
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200277 s]
/proc/loadavg: 5.17 5.41 4.04 3/204 16738
/proc/meminfo: memFree=20845896/32770624 swapFree=0/368620
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300202 s]
/proc/loadavg: 5.17 5.41 4.04 3/204 16738
/proc/meminfo: memFree=20845896/32770624 swapFree=0/368620
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700269 s]
/proc/loadavg: 5.17 5.41 4.04 3/204 16738
/proc/meminfo: memFree=20845896/32770624 swapFree=0/368620
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 5.08 5.39 4.04 3/220 16754
/proc/meminfo: memFree=20763984/32770624 swapFree=0/368672
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=12919328 CPUtime=1.94 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 13619 0 0 0 188 6 0 0 20 0 15 0 108020090 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3229832 37306 3159 1 0 3218124 0
[pid=16740/tid=16741] ppid=16738 vsize=12919328 CPUtime=1.36 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) R 16738 16738 2911 0 -1 4202560 9403 0 0 0 131 5 0 0 20 0 15 0 108020090 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907958705024 139907572917042 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108020091 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108020091 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16744] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16744/stat : 16744 (java) S 16738 16738 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108020091 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907556149648 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16745] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16745/stat : 16745 (java) S 16738 16738 2911 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108020091 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907555096848 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16746] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16746/stat : 16746 (java) S 16738 16738 2911 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108020092 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907438459760 139907954494082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16747] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16747/stat : 16747 (java) S 16738 16738 2911 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907437405728 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16748] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16748/stat : 16748 (java) S 16738 16738 2911 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907436352880 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16749] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16749/stat : 16749 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020095 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907435301200 139907954501531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16750] ppid=16738 vsize=12919328 CPUtime=0.15 cores=1,3,5,7
/proc/16740/task/16750/stat : 16750 (java) S 16738 16738 2911 0 -1 1077944384 735 0 0 0 15 0 0 0 20 0 15 0 108020095 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907434248560 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16751] ppid=16738 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/16740/task/16751/stat : 16751 (java) S 16738 16738 2911 0 -1 1077944384 714 0 0 0 18 0 0 0 20 0 15 0 108020095 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907433195760 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16752] ppid=16738 vsize=12919328 CPUtime=0.22 cores=1,3,5,7
/proc/16740/task/16752/stat : 16752 (java) S 16738 16738 2911 0 -1 1077944384 1428 0 0 0 22 0 0 0 20 0 15 0 108020095 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907432142960 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16753] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16753/stat : 16753 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020096 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907431090400 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16754] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16754/stat : 16754 (java) S 16738 16738 2911 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 108020099 13229391872 37306 18446744073709551615 4194304 4196468 140728246264480 139907430038704 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 12928840
[startup+3.10068 s]
/proc/loadavg: 5.08 5.39 4.04 3/220 16754
/proc/meminfo: memFree=20586872/32770624 swapFree=0/368672
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=12919328 CPUtime=4.14 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 16073 0 0 0 377 37 0 0 20 0 15 0 108020090 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3229832 99861 3185 1 0 3218124 0
[pid=16740/tid=16741] ppid=16738 vsize=12919328 CPUtime=2.77 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) R 16738 16738 2911 0 -1 4202560 9501 0 0 0 272 5 0 0 20 0 15 0 108020090 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907958721056 139907572917073 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 479 0 0 0 11 7 0 0 20 0 15 0 108020091 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 259 0 0 0 11 7 0 0 20 0 15 0 108020091 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16744] ppid=16738 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/16740/task/16744/stat : 16744 (java) S 16738 16738 2911 0 -1 1077944384 276 0 0 0 11 7 0 0 20 0 15 0 108020091 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907556149648 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16745] ppid=16738 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/16740/task/16745/stat : 16745 (java) S 16738 16738 2911 0 -1 1077944384 314 0 0 0 11 7 0 0 20 0 15 0 108020091 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907555096848 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16746] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16746/stat : 16746 (java) S 16738 16738 2911 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 108020092 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907438459760 139907954494082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16747] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16747/stat : 16747 (java) S 16738 16738 2911 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907437405728 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16748] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16748/stat : 16748 (java) S 16738 16738 2911 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907436352880 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16749] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16749/stat : 16749 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020095 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907435301200 139907954501531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16750] ppid=16738 vsize=12919328 CPUtime=0.15 cores=1,3,5,7
/proc/16740/task/16750/stat : 16750 (java) S 16738 16738 2911 0 -1 1077944384 735 0 0 0 15 0 0 0 20 0 15 0 108020095 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907434248560 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16751] ppid=16738 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/16740/task/16751/stat : 16751 (java) S 16738 16738 2911 0 -1 1077944384 714 0 0 0 18 0 0 0 20 0 15 0 108020095 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907433195760 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16752] ppid=16738 vsize=12919328 CPUtime=0.24 cores=1,3,5,7
/proc/16740/task/16752/stat : 16752 (java) S 16738 16738 2911 0 -1 1077944384 2095 0 0 0 24 0 0 0 20 0 15 0 108020095 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907432142960 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16753] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16753/stat : 16753 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020096 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907431090400 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16754] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16754/stat : 16754 (java) S 16738 16738 2911 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 108020099 13229391872 99861 18446744073709551615 4194304 4196468 140728246264480 139907430038704 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 12928840
[startup+6.30061 s]
/proc/loadavg: 5.07 5.38 4.04 3/220 16754
/proc/meminfo: memFree=20083920/32770624 swapFree=0/368664
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=12919328 CPUtime=8.68 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 35026 0 0 0 800 68 0 0 20 0 15 0 108020090 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3229832 193192 3207 1 0 3218124 0
[pid=16740/tid=16741] ppid=16738 vsize=12919328 CPUtime=4.68 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) S 16738 16738 2911 0 -1 1077944384 9580 0 0 0 461 7 0 0 20 0 15 0 108020090 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907958721472 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=12919328 CPUtime=0.62 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 5572 0 0 0 48 14 0 0 20 0 15 0 108020091 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=12919328 CPUtime=0.61 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 4029 0 0 0 47 14 0 0 20 0 15 0 108020091 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16744] ppid=16738 vsize=12919328 CPUtime=0.62 cores=1,3,5,7
/proc/16740/task/16744/stat : 16744 (java) S 16738 16738 2911 0 -1 1077944384 4754 0 0 0 48 14 0 0 20 0 15 0 108020091 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907556149648 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16745] ppid=16738 vsize=12919328 CPUtime=0.62 cores=1,3,5,7
/proc/16740/task/16745/stat : 16745 (java) S 16738 16738 2911 0 -1 1077944384 4272 0 0 0 48 14 0 0 20 0 15 0 108020091 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907555096848 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16746] ppid=16738 vsize=12919328 CPUtime=0.85 cores=1,3,5,7
/proc/16740/task/16746/stat : 16746 (java) R 16738 16738 2911 0 -1 4202560 1424 0 0 0 85 0 0 0 20 0 15 0 108020092 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907438458304 139907939183597 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16747] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16747/stat : 16747 (java) S 16738 16738 2911 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907437405728 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16748] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16748/stat : 16748 (java) S 16738 16738 2911 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907436352880 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16749] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16749/stat : 16749 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020095 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907435301200 139907954501531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16750] ppid=16738 vsize=12919328 CPUtime=0.17 cores=1,3,5,7
/proc/16740/task/16750/stat : 16750 (java) S 16738 16738 2911 0 -1 1077944384 969 0 0 0 17 0 0 0 20 0 15 0 108020095 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907434248560 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16751] ppid=16738 vsize=12919328 CPUtime=0.18 cores=1,3,5,7
/proc/16740/task/16751/stat : 16751 (java) S 16738 16738 2911 0 -1 1077944384 777 0 0 0 18 0 0 0 20 0 15 0 108020095 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907433195760 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16752] ppid=16738 vsize=12919328 CPUtime=0.25 cores=1,3,5,7
/proc/16740/task/16752/stat : 16752 (java) S 16738 16738 2911 0 -1 1077944384 2169 0 0 0 25 0 0 0 20 0 15 0 108020095 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907432142960 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16753] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16753/stat : 16753 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020096 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907431090400 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16754] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16754/stat : 16754 (java) S 16738 16738 2911 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 108020099 13229391872 193192 18446744073709551615 4194304 4196468 140728246264480 139907430038704 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
Current children cumulated CPU time (s) 8.68
Current children cumulated vsize (KiB) 12928840
[startup+12.7017 s]
/proc/loadavg: 4.83 5.33 4.03 3/220 16754
/proc/meminfo: memFree=19778284/32770624 swapFree=0/368672
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=12919328 CPUtime=17.57 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 41141 0 0 0 1619 138 0 0 20 0 15 0 108020090 13229391872 341611 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3229832 341611 3209 1 0 3218124 0
[pid=16740/tid=16741] ppid=16738 vsize=12919328 CPUtime=9.74 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) R 16738 16738 2911 0 -1 4202560 9650 0 0 0 966 8 0 0 20 0 15 0 108020090 13229391872 341611 18446744073709551615 4194304 4196468 140728246264480 139907958720504 139907572917073 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=12919328 CPUtime=1.43 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 6320 0 0 0 113 30 0 0 20 0 15 0 108020091 13229391872 341611 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=12919328 CPUtime=1.43 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 4695 0 0 0 111 32 0 0 20 0 15 0 108020091 13229391872 341611 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
################
# More data... #
################
[startup+84.807 s]
/proc/loadavg: 3.09 4.72 3.92 3/220 16756
/proc/meminfo: memFree=13636500/32770624 swapFree=0/368704
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=12919328 CPUtime=134.37 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 152121 0 0 0 12751 686 0 0 20 0 15 0 108020090 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3229832 1801563 3239 1 0 3218124 0
[pid=16740/tid=16741] ppid=16738 vsize=12919328 CPUtime=55.01 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) R 16738 16738 2911 0 -1 4202560 14656 0 0 0 5491 10 0 0 20 0 15 0 108020090 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907958719880 139907572888409 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=12919328 CPUtime=16.22 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 23777 0 0 0 1477 145 0 0 20 0 15 0 108020091 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=12919328 CPUtime=16.23 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 34792 0 0 0 1444 179 0 0 20 0 15 0 108020091 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16744] ppid=16738 vsize=12919328 CPUtime=16.2 cores=1,3,5,7
/proc/16740/task/16744/stat : 16744 (java) S 16738 16738 2911 0 -1 1077944384 24394 0 0 0 1441 179 0 0 20 0 15 0 108020091 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907556149648 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16745] ppid=16738 vsize=12919328 CPUtime=16.15 cores=1,3,5,7
/proc/16740/task/16745/stat : 16745 (java) S 16738 16738 2911 0 -1 1077944384 25483 0 0 0 1452 163 0 0 20 0 15 0 108020091 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907555096848 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16746] ppid=16738 vsize=12919328 CPUtime=13.31 cores=1,3,5,7
/proc/16740/task/16746/stat : 16746 (java) S 16738 16738 2911 0 -1 1077944384 16011 0 0 0 1329 2 0 0 20 0 15 0 108020092 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907438459760 139907954494082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16747] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16747/stat : 16747 (java) S 16738 16738 2911 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907437405792 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16748] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16748/stat : 16748 (java) S 16738 16738 2911 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907436352896 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16749] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16749/stat : 16749 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020095 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907435301200 139907954501531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16750] ppid=16738 vsize=12919328 CPUtime=0.35 cores=1,3,5,7
/proc/16740/task/16750/stat : 16750 (java) S 16738 16738 2911 0 -1 1077944384 3281 0 0 0 35 0 0 0 20 0 15 0 108020095 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907434248560 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16751] ppid=16738 vsize=12919328 CPUtime=0.3 cores=1,3,5,7
/proc/16740/task/16751/stat : 16751 (java) S 16738 16738 2911 0 -1 1077944384 2012 0 0 0 30 0 0 0 20 0 15 0 108020095 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907433195760 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16752] ppid=16738 vsize=12919328 CPUtime=0.44 cores=1,3,5,7
/proc/16740/task/16752/stat : 16752 (java) S 16738 16738 2911 0 -1 1077944384 5962 0 0 0 43 1 0 0 20 0 15 0 108020095 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907432142960 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16753] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16753/stat : 16753 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020096 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907431090400 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16754] ppid=16738 vsize=12919328 CPUtime=0.05 cores=1,3,5,7
/proc/16740/task/16754/stat : 16754 (java) S 16738 16738 2911 0 -1 1077944384 235 0 0 0 3 2 0 0 20 0 15 0 108020099 13229391872 1801563 18446744073709551615 4194304 4196468 140728246264480 139907430038704 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
Current children cumulated CPU time (s) 134.37
Current children cumulated vsize (KiB) 12928840
[startup+85.6007 s]
/proc/loadavg: 3.09 4.72 3.92 3/220 16756
/proc/meminfo: memFree=13636500/32770624 swapFree=0/368704
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=12919328 CPUtime=136.44 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 153071 0 0 0 12954 690 0 0 20 0 15 0 108020090 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3229832 1808253 3239 1 0 3218124 0
[pid=16740/tid=16741] ppid=16738 vsize=12919328 CPUtime=55.38 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) R 16738 16738 2911 0 -1 4202560 14675 0 0 0 5528 10 0 0 20 0 15 0 108020090 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907958720816 139907572917063 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=12919328 CPUtime=16.65 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 24005 0 0 0 1519 146 0 0 20 0 15 0 108020091 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=12919328 CPUtime=16.66 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 35006 0 0 0 1486 180 0 0 20 0 15 0 108020091 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16744] ppid=16738 vsize=12919328 CPUtime=16.62 cores=1,3,5,7
/proc/16740/task/16744/stat : 16744 (java) S 16738 16738 2911 0 -1 1077944384 24637 0 0 0 1483 179 0 0 20 0 15 0 108020091 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907556149648 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16745] ppid=16738 vsize=12919328 CPUtime=16.57 cores=1,3,5,7
/proc/16740/task/16745/stat : 16745 (java) S 16738 16738 2911 0 -1 1077944384 25716 0 0 0 1493 164 0 0 20 0 15 0 108020091 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907555096848 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16746] ppid=16738 vsize=12919328 CPUtime=13.32 cores=1,3,5,7
/proc/16740/task/16746/stat : 16746 (java) S 16738 16738 2911 0 -1 1077944384 16024 0 0 0 1329 3 0 0 20 0 15 0 108020092 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907438459760 139907954494082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16747] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16747/stat : 16747 (java) S 16738 16738 2911 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907437405792 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16748] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16748/stat : 16748 (java) S 16738 16738 2911 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 108020093 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907436352896 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16749] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16749/stat : 16749 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020095 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907435301200 139907954501531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16750] ppid=16738 vsize=12919328 CPUtime=0.35 cores=1,3,5,7
/proc/16740/task/16750/stat : 16750 (java) S 16738 16738 2911 0 -1 1077944384 3281 0 0 0 35 0 0 0 20 0 15 0 108020095 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907434248560 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16751] ppid=16738 vsize=12919328 CPUtime=0.3 cores=1,3,5,7
/proc/16740/task/16751/stat : 16751 (java) S 16738 16738 2911 0 -1 1077944384 2012 0 0 0 30 0 0 0 20 0 15 0 108020095 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907433195760 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16752] ppid=16738 vsize=12919328 CPUtime=0.44 cores=1,3,5,7
/proc/16740/task/16752/stat : 16752 (java) S 16738 16738 2911 0 -1 1077944384 5962 0 0 0 43 1 0 0 20 0 15 0 108020095 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907432142960 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16753] ppid=16738 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16753/stat : 16753 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108020096 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907431090400 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16754] ppid=16738 vsize=12919328 CPUtime=0.05 cores=1,3,5,7
/proc/16740/task/16754/stat : 16754 (java) S 16738 16738 2911 0 -1 1077944384 235 0 0 0 3 2 0 0 20 0 15 0 108020099 13229391872 1808253 18446744073709551615 4194304 4196468 140728246264480 139907430038704 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
Current children cumulated CPU time (s) 136.44
Current children cumulated vsize (KiB) 12928840
[startup+86.0056 s]
/proc/loadavg: 3.25 4.72 3.92 8/224 16760
/proc/meminfo: memFree=13609488/32770624 swapFree=0/368704
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=13185584 CPUtime=137.8 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 157087 0 0 0 13089 691 0 0 20 0 19 0 108020090 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3296396 1808495 3239 1 0 3284688 0
[pid=16740/tid=16741] ppid=16738 vsize=13185584 CPUtime=55.46 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) S 16738 16738 2911 0 -1 1077944384 14828 0 0 0 5536 10 0 0 20 0 19 0 108020090 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907958723712 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=13185584 CPUtime=16.65 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 24005 0 0 0 1519 146 0 0 20 0 19 0 108020091 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=13185584 CPUtime=16.66 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 35006 0 0 0 1486 180 0 0 20 0 19 0 108020091 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16744] ppid=16738 vsize=13185584 CPUtime=16.62 cores=1,3,5,7
/proc/16740/task/16744/stat : 16744 (java) S 16738 16738 2911 0 -1 1077944384 24637 0 0 0 1483 179 0 0 20 0 19 0 108020091 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907556149648 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16745] ppid=16738 vsize=13185584 CPUtime=16.57 cores=1,3,5,7
/proc/16740/task/16745/stat : 16745 (java) S 16738 16738 2911 0 -1 1077944384 25716 0 0 0 1493 164 0 0 20 0 19 0 108020091 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907555096848 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16746] ppid=16738 vsize=13185584 CPUtime=13.32 cores=1,3,5,7
/proc/16740/task/16746/stat : 16746 (java) S 16738 16738 2911 0 -1 1077944384 16031 0 0 0 1329 3 0 0 20 0 19 0 108020092 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907438459760 139907954494082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16747] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16747/stat : 16747 (java) S 16738 16738 2911 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 19 0 108020093 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907437405792 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16748] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16748/stat : 16748 (java) S 16738 16738 2911 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 19 0 108020093 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907436352896 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16749] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16749/stat : 16749 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108020095 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907435301200 139907954501531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16750] ppid=16738 vsize=13185584 CPUtime=0.43 cores=1,3,5,7
/proc/16740/task/16750/stat : 16750 (java) R 16738 16738 2911 0 -1 1077944384 3334 0 0 0 43 0 0 0 20 0 19 0 108020095 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907434248560 139907954494082 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16751] ppid=16738 vsize=13185584 CPUtime=0.33 cores=1,3,5,7
/proc/16740/task/16751/stat : 16751 (java) R 16738 16738 2911 0 -1 4202560 2024 0 0 0 33 0 0 0 20 0 19 0 108020095 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907433195760 139907954494870 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16752] ppid=16738 vsize=13185584 CPUtime=0.49 cores=1,3,5,7
/proc/16740/task/16752/stat : 16752 (java) S 16738 16738 2911 0 -1 1077944384 6048 0 0 0 48 1 0 0 20 0 19 0 108020095 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907432142960 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16753] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16753/stat : 16753 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108020096 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907431090400 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16754] ppid=16738 vsize=13185584 CPUtime=0.05 cores=1,3,5,7
/proc/16740/task/16754/stat : 16754 (java) S 16738 16738 2911 0 -1 1077944384 235 0 0 0 3 2 0 0 20 0 19 0 108020099 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907430038704 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16757] ppid=16738 vsize=13185584 CPUtime=0.3 cores=1,3,5,7
/proc/16740/task/16757/stat : 16757 (java) R 16738 16738 2911 0 -1 4202560 485 0 0 0 30 0 0 0 20 0 19 0 108028650 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907422025288 139907937866930 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16758] ppid=16738 vsize=13185584 CPUtime=0.3 cores=1,3,5,7
/proc/16740/task/16758/stat : 16758 (java) R 16738 16738 2911 0 -1 4202560 523 0 0 0 30 0 0 0 20 0 19 0 108028650 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907420973624 139907574572145 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16759] ppid=16738 vsize=13185584 CPUtime=0.24 cores=1,3,5,7
/proc/16740/task/16759/stat : 16759 (java) R 16738 16738 2911 0 -1 4202560 87 0 0 0 24 0 0 0 20 0 19 0 108028650 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907419920936 139907574612467 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16760] ppid=16738 vsize=13185584 CPUtime=0.25 cores=1,3,5,7
/proc/16740/task/16760/stat : 16760 (java) R 16738 16738 2911 0 -1 4202560 2610 0 0 0 25 0 0 0 20 0 19 0 108028650 13502038016 1808495 18446744073709551615 4194304 4196468 140728246264480 139907024016360 139907574572185 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
Current children cumulated CPU time (s) 137.8
Current children cumulated vsize (KiB) 13195096
[startup+86.2074 s]
/proc/loadavg: 3.25 4.72 3.92 8/224 16760
/proc/meminfo: memFree=13609488/32770624 swapFree=0/368704
[pid=16738] ppid=16735 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/16738/stat : 16738 (xcsp3-exec) S 16735 16738 2911 0 -1 4202496 507 0 0 0 0 0 0 0 20 0 1 0 108020081 9740288 344 18446744073709551615 4194304 5098028 140731986595392 140731986593496 140222019564156 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 35442688 140731986596248 140731986596458 140731986596458 140731986599915 0
/proc/16738/statm: 2378 344 289 221 0 87 0
[pid=16740] ppid=16738 vsize=13185584 CPUtime=138.43 cores=1,3,5,7
/proc/16740/stat : 16740 (java) S 16738 16738 2911 0 -1 1077944320 157402 0 0 0 13152 691 0 0 20 0 19 0 108020090 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 140728246247024 139907954482935 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
/proc/16740/statm: 3296396 1808519 3242 1 0 3284688 0
[pid=16740/tid=16741] ppid=16738 vsize=13185584 CPUtime=55.46 cores=1,3,5,7
/proc/16740/task/16741/stat : 16741 (java) R 16738 16738 2911 0 -1 1077944384 14829 0 0 0 5536 10 0 0 20 0 19 0 108020090 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907958723360 139907954493141 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16742] ppid=16738 vsize=13185584 CPUtime=16.65 cores=1,3,5,7
/proc/16740/task/16742/stat : 16742 (java) S 16738 16738 2911 0 -1 1077944384 24005 0 0 0 1519 146 0 0 20 0 18 0 108020091 13502038016 1808518 18446744073709551615 4194304 4196468 140728246264480 139907890965136 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16743] ppid=16738 vsize=13185584 CPUtime=16.66 cores=1,3,5,7
/proc/16740/task/16743/stat : 16743 (java) S 16738 16738 2911 0 -1 1077944384 35006 0 0 0 1486 180 0 0 20 0 17 0 108020091 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907889912336 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16744] ppid=16738 vsize=13185584 CPUtime=16.62 cores=1,3,5,7
/proc/16740/task/16744/stat : 16744 (java) S 16738 16738 2911 0 -1 1077944384 24637 0 0 0 1483 179 0 0 20 0 17 0 108020091 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907556149648 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16745] ppid=16738 vsize=13185584 CPUtime=16.57 cores=1,3,5,7
/proc/16740/task/16745/stat : 16745 (java) S 16738 16738 2911 0 -1 1077944384 25716 0 0 0 1493 164 0 0 20 0 17 0 108020091 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907555096848 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16746] ppid=16738 vsize=13185584 CPUtime=13.33 cores=1,3,5,7
/proc/16740/task/16746/stat : 16746 (java) S 16738 16738 2911 0 -1 1077944384 16031 0 0 0 1330 3 0 0 20 0 17 0 108020092 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907438459760 139907954494082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16747] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16747/stat : 16747 (java) S 16738 16738 2911 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 17 0 108020093 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907437405792 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16748] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16748/stat : 16748 (java) S 16738 16738 2911 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 17 0 108020093 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907436352896 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16749] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16749/stat : 16749 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 108020095 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907435301200 139907954501531 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16750] ppid=16738 vsize=13185584 CPUtime=0.47 cores=1,3,5,7
/proc/16740/task/16750/stat : 16750 (java) R 16738 16738 2911 0 -1 4202560 3348 0 0 0 47 0 0 0 20 0 17 0 108020095 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907434228368 139907947588652 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16751] ppid=16738 vsize=13185584 CPUtime=0.37 cores=1,3,5,7
/proc/16740/task/16751/stat : 16751 (java) S 16738 16738 2911 0 -1 1077944384 2139 0 0 0 37 0 0 0 20 0 17 0 108020095 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907433195760 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16752] ppid=16738 vsize=13185584 CPUtime=0.51 cores=1,3,5,7
/proc/16740/task/16752/stat : 16752 (java) R 16738 16738 2911 0 -1 1077944384 6095 0 0 0 50 1 0 0 20 0 18 0 108020095 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907432141792 139907954493141 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16753] ppid=16738 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/16740/task/16753/stat : 16753 (java) S 16738 16738 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 108020096 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907431090400 139907954493141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
[pid=16740/tid=16754] ppid=16738 vsize=13185584 CPUtime=0.05 cores=1,3,5,7
/proc/16740/task/16754/stat : 16754 (java) S 16738 16738 2911 0 -1 1077944384 235 0 0 0 3 2 0 0 20 0 18 0 108020099 13502038016 1808501 18446744073709551615 4194304 4196468 140728246264480 139907430038704 139907954494082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39776256 140728246268374 140728246268550 140728246268550 140728246271951 0
Current children cumulated CPU time (s) 138.43
Current children cumulated vsize (KiB) 13195096
Child status: 0
Real time (s): 86.2564
CPU time (s): 138.494
CPU user time (s): 131.539
CPU system time (s): 6.95466
CPU usage (%): 160.561
Max. virtual memory (cumulated for all children) (KiB): 13195096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.539
system time used= 6.95466
maximum resident set size= 7234452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158039
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5261
involuntary context switches= 820
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.386464 second user time and 0.60314 second system time
The end