runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15268 MiB free)
memory of node 1: 16384 MiB (15572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269926-1502687544/watcher-4269926-1502687544 -o /tmp/evaluation-result-4269926-1502687544/solver-4269926-1502687544 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1998648069 HOME/instance-4269926-1502687544.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30316, runsolver pid=30313
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.51 1.70 1.76 3/207 30324
/proc/meminfo: memFree=31573496/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13574484 memory=16672 CPUtime=0.02 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 4013 0 0 0 2 0 0 0 20 0 9 0 116260850 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3393621 4168 2083 1 0 3383118 0
[pid=30318/tid=30319] ppid=30316 vsize=13574484 memory=-8713483618642983523 CPUtime=0.01 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 2721 0 0 0 1 0 0 0 20 0 9 0 116260851 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843680502280 139843660401488 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 116260852 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13574484 memory=140672471103104 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 116260852 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 116260852 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 116260852 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13574484 memory=140672471103104 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 116260853 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 116260853 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 116260854 13900271616 4168 18446744073709551615 4194304 4196468 140731605149888 139843152078512 139843676276437 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18052 KiB
[startup+0.210065 s]*
/proc/loadavg: 1.51 1.70 1.76 3/215 30332
/proc/meminfo: memFree=31563860/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13974352 memory=28164 CPUtime=0.12 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 15 0 116260850 14309736448 7041 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3493588 7041 2839 1 0 3482964 0
[pid=30318/tid=30319] ppid=30316 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 3498 0 0 0 8 0 0 0 20 0 15 0 116260851 14309736448 7041 18446744073709551615 4194304 4196468 140731605149888 139843680485208 139843279553213 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14309736448 7041 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13974352 memory=4051464125399660192 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13974352 memory=140672471103104 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260853 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116260853 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116260854 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843152078448 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30327] ppid=30316 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30327/stat : 30327 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843151026768 139843676284827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30328] ppid=30316 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30328/stat : 30328 (java) S 30316 30316 4674 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 116260856 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843149973616 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30329] ppid=30316 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30329/stat : 30329 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843148920816 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30330] ppid=30316 vsize=13974352 memory=140672471103104 CPUtime=0.01 cores=1,3,5,7
/proc/30318/task/30330/stat : 30330 (java) R 30316 30316 4674 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 116260856 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843147868528 139843668503358 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30331] ppid=30316 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30331/stat : 30331 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843146815968 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30332] ppid=30316 vsize=13974352 memory=140672471103104 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30332/stat : 30332 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260860 14309736448 7106 18446744073709551615 4194304 4196468 140731605149888 139843145763760 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29544 KiB
[startup+0.316159 s]*
/proc/loadavg: 1.51 1.70 1.76 3/215 30332
/proc/meminfo: memFree=31551784/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13978608 memory=40156 CPUtime=0.34 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 9090 0 0 0 31 3 0 0 20 0 15 0 116260850 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3494652 10039 3043 1 0 3482964 0
[pid=30318/tid=30319] ppid=30316 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 6297 0 0 0 17 2 0 0 20 0 15 0 116260851 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843680487224 139843676288157 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116260853 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116260853 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116260854 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843152078448 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30327] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30327/stat : 30327 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843151026768 139843676284827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30328] ppid=30316 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30318/task/30328/stat : 30328 (java) S 30316 30316 4674 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 116260856 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843149973616 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30329] ppid=30316 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30318/task/30329/stat : 30329 (java) S 30316 30316 4674 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 15 0 116260856 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843148920816 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30330] ppid=30316 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30318/task/30330/stat : 30330 (java) S 30316 30316 4674 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 116260856 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843147868528 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30331] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30331/stat : 30331 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843146815968 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30332] ppid=30316 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30332/stat : 30332 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260860 14314094592 10039 18446744073709551615 4194304 4196468 140731605149888 139843145763760 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41536 KiB
[startup+0.701757 s]
/proc/loadavg: 1.51 1.70 1.76 3/215 30332
/proc/meminfo: memFree=31541920/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13980732 memory=64408 CPUtime=1.2 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 13753 0 0 0 115 5 0 0 20 0 15 0 116260850 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3495183 16102 3169 1 0 3483476 0
[pid=30318/tid=30319] ppid=30316 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 9159 0 0 0 53 3 0 0 20 0 15 0 116260851 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843680501088 139843676278166 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116260853 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116260853 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116260854 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843152078448 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30327] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30327/stat : 30327 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843151026768 139843676284827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30328] ppid=30316 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/30318/task/30328/stat : 30328 (java) R 30316 30316 4674 0 -1 4202560 963 0 0 0 14 0 0 0 20 0 15 0 116260856 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843149954632 139843655455680 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30329] ppid=30316 vsize=13980732 memory=26 CPUtime=0.15 cores=1,3,5,7
/proc/30318/task/30329/stat : 30329 (java) R 30316 30316 4674 0 -1 4202560 713 0 0 0 15 0 0 0 20 0 15 0 116260856 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843148910736 139843660556268 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30330] ppid=30316 vsize=13980732 memory=229 CPUtime=0.31 cores=1,3,5,7
/proc/30318/task/30330/stat : 30330 (java) R 30316 30316 4674 0 -1 4202560 1610 0 0 0 31 0 0 0 20 0 15 0 116260856 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843147868528 139843668503358 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30331] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30331/stat : 30331 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843146815968 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30332] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30332/stat : 30332 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260860 14316269568 16102 18446744073709551615 4194304 4196468 140731605149888 139843145763760 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65788 KiB
[startup+1.50091 s]
/proc/loadavg: 1.51 1.70 1.76 5/215 30332
/proc/meminfo: memFree=31511036/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13983532 memory=130336 CPUtime=3.7 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 37405 0 0 0 362 8 0 0 20 0 15 0 116260850 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3495883 32584 3189 1 0 3484176 0
[pid=30318/tid=30319] ppid=30316 vsize=13983532 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 9691 0 0 0 133 3 0 0 20 0 15 0 116260851 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843680502952 139843283487168 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13983532 memory=281344651535552 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13983532 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13983532 memory=6933690287860520088 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13983532 memory=4138356658378995242 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13983532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116260853 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13983532 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116260853 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13983532 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116260854 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843152078448 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30327] ppid=30316 vsize=13983532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30327/stat : 30327 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843151026768 139843676284827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30328] ppid=30316 vsize=13983532 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/30318/task/30328/stat : 30328 (java) R 30316 30316 4674 0 -1 4202560 11991 0 0 0 92 2 0 0 20 0 15 0 116260856 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843149959112 139843655504645 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30329] ppid=30316 vsize=13983532 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/30318/task/30329/stat : 30329 (java) R 30316 30316 4674 0 -1 4202560 10928 0 0 0 93 2 0 0 20 0 15 0 116260856 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843148905144 139843657810465 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30330] ppid=30316 vsize=13983532 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/30318/task/30330/stat : 30330 (java) S 30316 30316 4674 0 -1 1077944384 3484 0 0 0 42 0 0 0 20 0 15 0 116260856 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843147868528 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30331] ppid=30316 vsize=13983532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30331/stat : 30331 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843146815968 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30332] ppid=30316 vsize=13983532 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30332/stat : 30332 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260860 14319136768 32584 18446744073709551615 4194304 4196468 140731605149888 139843145763760 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 3.7 s
Current children cumulated vsize: 13993044 KiB
Current children cumulated memory: 131716 KiB
[startup+2.27767 s]
# the end of solver process 30316 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.91269 s, system=0.103023 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60158 s]
/proc/loadavg: 1.51 1.70 1.76 5/215 30332
/proc/meminfo: memFree=31511036/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13983608 memory=130444 CPUtime=4 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 38559 0 0 0 392 8 0 0 20 0 15 0 116260850 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3495902 32611 3189 1 0 3484195 0
[pid=30318/tid=30319] ppid=30316 vsize=13983608 memory=14425997298 CPUtime=1.46 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 9692 0 0 0 143 3 0 0 20 0 15 0 116260851 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843680502952 139843283021109 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13983608 memory=140672325924606 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13983608 memory=281344651381600 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13983608 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13983608 memory=281344651381984 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13983608 memory=281344651382176 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116260853 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13983608 memory=281344651382368 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116260853 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13983608 memory=281344651382560 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116260854 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843152078448 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30327] ppid=30316 vsize=13983608 memory=281344651382752 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30327/stat : 30327 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843151026768 139843676284827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30328] ppid=30316 vsize=13983608 memory=281344651596032 CPUtime=1.04 cores=1,3,5,7
/proc/30318/task/30328/stat : 30328 (java) R 30316 30316 4674 0 -1 4202560 12382 0 0 0 102 2 0 0 20 0 15 0 116260856 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843149959112 139843660172682 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30329] ppid=30316 vsize=13983608 memory=281344651596224 CPUtime=1.05 cores=1,3,5,7
/proc/30318/task/30329/stat : 30329 (java) R 30316 30316 4674 0 -1 4202560 11686 0 0 0 103 2 0 0 20 0 15 0 116260856 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843148905144 139843655522880 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30330] ppid=30316 vsize=13983608 memory=281344651596416 CPUtime=0.42 cores=1,3,5,7
/proc/30318/task/30330/stat : 30330 (java) S 30316 30316 4674 0 -1 1077944384 3488 0 0 0 42 0 0 0 20 0 15 0 116260856 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843147868528 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30331] ppid=30316 vsize=13983608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30331/stat : 30331 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843146815968 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30332] ppid=30316 vsize=13983608 memory=119 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30332/stat : 30332 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260860 14319214592 32611 18446744073709551615 4194304 4196468 140731605149888 139843145763760 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 4 s
Current children cumulated vsize: 13993120 KiB
Current children cumulated memory: 131824 KiB
[startup+2.00082 s]*
/proc/loadavg: 1.51 1.70 1.76 5/215 30332
/proc/meminfo: memFree=31462668/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13980732 memory=132096 CPUtime=5.24 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 40049 0 0 0 516 8 0 0 20 0 15 0 116260850 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3495183 33024 3189 1 0 3483476 0
[pid=30318/tid=30319] ppid=30316 vsize=13980732 memory=576460756329955446 CPUtime=1.87 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 9698 0 0 0 184 3 0 0 20 0 15 0 116260851 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843680501840 139843283487175 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13980732 memory=140672472084956 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 116260853 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13980732 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116260853 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116260854 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843152078448 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30327] ppid=30316 vsize=13980732 memory=-6800859132029471843 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30327/stat : 30327 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843151026768 139843676284827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30328] ppid=30316 vsize=13980732 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/30318/task/30328/stat : 30328 (java) R 30316 30316 4674 0 -1 4202560 13002 0 0 0 143 2 0 0 20 0 15 0 116260856 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843149959112 139843659653136 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30329] ppid=30316 vsize=13980732 memory=7307199747045421918 CPUtime=1.46 cores=1,3,5,7
/proc/30318/task/30329/stat : 30329 (java) R 30316 30316 4674 0 -1 4202560 12519 0 0 0 144 2 0 0 20 0 15 0 116260856 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843148905144 139843657810458 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30330] ppid=30316 vsize=13980732 memory=140672471103104 CPUtime=0.43 cores=1,3,5,7
/proc/30318/task/30330/stat : 30330 (java) S 30316 30316 4674 0 -1 1077944384 3508 0 0 0 43 0 0 0 20 0 15 0 116260856 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843147868528 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30331] ppid=30316 vsize=13980732 memory=7166468868810962039 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30331/stat : 30331 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843146815968 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30332] ppid=30316 vsize=13980732 memory=140672471103104 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30332/stat : 30332 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260860 14316269568 33024 18446744073709551615 4194304 4196468 140731605149888 139843145763760 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 133476 KiB
[startup+2.20082 s]
/proc/loadavg: 1.51 1.70 1.76 5/215 30332
/proc/meminfo: memFree=31462668/32770624 swapFree=67108764/67108860
[pid=30316] ppid=30313 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30316/stat : 30316 (xcsp3-exec) S 30313 30316 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 116260843 9740288 345 18446744073709551615 4194304 5098028 140727438435936 140727438434040 139928684393084 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 24965120 140727438442872 140727438443077 140727438443077 140727438446571 0
/proc/30316/statm: 2378 345 289 221 0 87 0
[pid=30318] ppid=30316 vsize=13980732 memory=137120 CPUtime=5.82 cores=1,3,5,7
/proc/30318/stat : 30318 (java) S 30316 30316 4674 0 -1 1077944320 41556 0 0 0 573 9 0 0 20 0 15 0 116260850 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 140731605132432 139843676266231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
/proc/30318/statm: 3495183 34280 3190 1 0 3483476 0
[pid=30318/tid=30319] ppid=30316 vsize=13980732 memory=0 CPUtime=2.06 cores=1,3,5,7
/proc/30318/task/30319/stat : 30319 (java) R 30316 30316 4674 0 -1 4202560 10033 0 0 0 203 3 0 0 20 0 15 0 116260851 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843680501840 139843282849955 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30320] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30320/stat : 30320 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843610700176 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30321] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30321/stat : 30321 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843609647376 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30322] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30322/stat : 30322 (java) S 30316 30316 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843608595088 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30323] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30323/stat : 30323 (java) S 30316 30316 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116260852 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843607542288 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30324] ppid=30316 vsize=13980732 memory=-3252517613198930781 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30324/stat : 30324 (java) S 30316 30316 4674 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 116260853 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843154184816 139843676277378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30325] ppid=30316 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30325/stat : 30325 (java) S 30316 30316 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116260853 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843153130784 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30326] ppid=30316 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30326/stat : 30326 (java) S 30316 30316 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116260854 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843152078448 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30327] ppid=30316 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30327/stat : 30327 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843151026768 139843676284827 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30328] ppid=30316 vsize=13980732 memory=6655300316396806240 CPUtime=1.64 cores=1,3,5,7
/proc/30318/task/30328/stat : 30328 (java) R 30316 30316 4674 0 -1 4202560 13236 0 0 0 162 2 0 0 20 0 15 0 116260856 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843149962112 139843657787485 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30329] ppid=30316 vsize=13980732 memory=9126232286719478932 CPUtime=1.65 cores=1,3,5,7
/proc/30318/task/30329/stat : 30329 (java) R 30316 30316 4674 0 -1 4202560 13342 0 0 0 163 2 0 0 20 0 15 0 116260856 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843148905144 139843655504652 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30330] ppid=30316 vsize=13980732 memory=-6442530561224366172 CPUtime=0.43 cores=1,3,5,7
/proc/30318/task/30330/stat : 30330 (java) S 30316 30316 4674 0 -1 1077944384 3614 0 0 0 43 0 0 0 20 0 15 0 116260856 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843147868528 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30331] ppid=30316 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30331/stat : 30331 (java) S 30316 30316 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116260856 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843146815968 139843676276437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
[pid=30318/tid=30332] ppid=30316 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30318/task/30332/stat : 30332 (java) S 30316 30316 4674 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 116260860 14316269568 34280 18446744073709551615 4194304 4196468 140731605149888 139843145763760 139843676277378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24723456 140731605156273 140731605156449 140731605156449 140731605159887 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 138500 KiB
Child status: 0
Real time (s): 2.27773
CPU time (s): 6.01572
CPU user time (s): 5.91269
CPU system time (s): 0.103023
CPU usage (%): 264.111
Max. virtual memory (cumulated for all children) (KiB): 13993120
Max. memory (cumulated for all children) (KiB): 138500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9127
system time used= 0.103023
maximum resident set size= 137576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2034
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 30316
# total CPU time (s): 6.01572
# total CPU user time (s): 5.91269
# total CPU system time (s): 0.103023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032907 second user time and 0.072002 second system time
The end