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 (14359 MiB free)
memory of node 1: 16384 MiB (15720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283801-1503213344/watcher-4283801-1503213344 -o /tmp/evaluation-result-4283801-1503213344/solver-4283801-1503213344 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30215 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1852808265 HOME/instance-4283801-1503213344.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
Current StackSize limit: 8192 KiB
solver pid=5834, runsolver pid=5831
[startup+0.100156 s]*
/proc/loadavg: 1.60 1.56 1.57 3/206 5841
/proc/meminfo: memFree=30793464/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13507920 memory=17200 CPUtime=0.01 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 3627 0 0 0 1 0 0 0 20 0 8 0 19744113 13832110080 4300 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3376980 4300 2022 1 0 3366477 0
[pid=5836/tid=5837] ppid=5834 vsize=13574488 memory=-6739615476349292588 CPUtime=0.01 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 2371 0 0 0 1 0 0 0 20 0 9 0 19744113 13900275712 4378 18446744073709551615 4194304 4196468 140737048186448 140208516370664 140208504852007 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19744114 13900271616 4378 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13574484 memory=140483070572160 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19744114 13900271616 4378 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19744114 13900271616 4378 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19744114 13900271616 4378 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19744115 13900271616 4378 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 19744116 13900271616 4378 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 19744116 13900271616 4378 18446744073709551615 4194304 4196468 140737048186448 140207988614576 140208512145109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 18580 KiB
[startup+0.21026 s]*
/proc/loadavg: 1.60 1.56 1.57 4/215 5850
/proc/meminfo: memFree=30785824/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13974352 memory=27736 CPUtime=0.11 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 5340 0 0 0 10 1 0 0 20 0 15 0 19744113 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3493588 6934 2853 1 0 3482964 0
[pid=5836/tid=5837] ppid=5834 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 3364 0 0 0 7 1 0 0 20 0 15 0 19744113 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140208516359632 140208512146838 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13974352 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13974352 memory=140483070784565 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13974352 memory=140483070572160 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19744115 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19744116 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19744116 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207988614512 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5845] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5845/stat : 5845 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744118 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207987562832 140208512153499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5846] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5846/stat : 5846 (java) R 5834 5834 16431 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 19744118 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207986510192 140208512146050 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5847] ppid=5834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5847/stat : 5847 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744118 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207985457488 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5848] ppid=5834 vsize=13974352 memory=140483070572160 CPUtime=0.01 cores=1,3,5,7
/proc/5836/task/5848/stat : 5848 (java) R 5834 5834 16431 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 15 0 19744118 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207984404592 140208512146050 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5849] ppid=5834 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5849/stat : 5849 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744119 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207983352032 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5850] ppid=5834 vsize=13974352 memory=140483070572160 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5850/stat : 5850 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744123 14309736448 6934 18446744073709551615 4194304 4196468 140737048186448 140207982300336 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29116 KiB
[startup+0.310588 s]*
/proc/loadavg: 1.60 1.56 1.57 6/215 5850
/proc/meminfo: memFree=30772584/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13974352 memory=39868 CPUtime=0.32 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 9119 0 0 0 29 3 0 0 20 0 15 0 19744113 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3493588 9967 3012 1 0 3482964 0
[pid=5836/tid=5837] ppid=5834 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 6240 0 0 0 16 2 0 0 20 0 15 0 19744113 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140208516372704 140208496215390 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19744114 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19744115 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19744116 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19744116 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207988614512 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5845] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5845/stat : 5845 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744118 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207987562832 140208512153499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5846] ppid=5834 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5836/task/5846/stat : 5846 (java) S 5834 5834 16431 0 -1 1077944384 737 0 0 0 2 0 0 0 20 0 15 0 19744118 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207986510192 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5847] ppid=5834 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5836/task/5847/stat : 5847 (java) S 5834 5834 16431 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 15 0 19744118 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207985457392 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5848] ppid=5834 vsize=13974352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5836/task/5848/stat : 5848 (java) R 5834 5834 16431 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 15 0 19744118 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207984404592 140208496215390 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5849] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5849/stat : 5849 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744119 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207983352032 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5850] ppid=5834 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5850/stat : 5850 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744123 14309736448 9967 18446744073709551615 4194304 4196468 140737048186448 140207982300336 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41248 KiB
[startup+0.703467 s]
/proc/loadavg: 1.60 1.56 1.57 7/215 5850
/proc/meminfo: memFree=30762564/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13980732 memory=67944 CPUtime=1.34 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 14096 0 0 0 129 5 0 0 20 0 15 0 19744113 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3495183 16986 3174 1 0 3483476 0
[pid=5836/tid=5837] ppid=5834 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 1077944384 8439 0 0 0 52 4 0 0 20 0 15 0 19744113 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140208516371760 140208512145109 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19744114 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13980732 memory=4 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19744115 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13980732 memory=3 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13980732 memory=12 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207988614512 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5845] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5845/stat : 5845 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744118 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207987562832 140208512153499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5846] ppid=5834 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/5836/task/5846/stat : 5846 (java) R 5834 5834 16431 0 -1 4202560 1634 0 0 0 24 0 0 0 20 0 15 0 19744118 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207986494744 140208493654578 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5847] ppid=5834 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/5836/task/5847/stat : 5847 (java) R 5834 5834 16431 0 -1 4202560 987 0 0 0 22 0 0 0 20 0 15 0 19744118 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207985443904 140208495621108 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5848] ppid=5834 vsize=13980732 memory=2996 CPUtime=0.29 cores=1,3,5,7
/proc/5836/task/5848/stat : 5848 (java) S 5834 5834 16431 0 -1 1077944384 1728 0 0 0 29 0 0 0 20 0 15 0 19744118 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207984404592 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5849] ppid=5834 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5849/stat : 5849 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744119 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207983352032 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5850] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5850/stat : 5850 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744123 14316269568 16986 18446744073709551615 4194304 4196468 140737048186448 140207982300336 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69324 KiB
[startup+1.50113 s]
/proc/loadavg: 1.60 1.56 1.57 5/215 5850
/proc/meminfo: memFree=30724608/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13982796 memory=137992 CPUtime=3.81 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 27123 0 0 0 374 7 0 0 20 0 15 0 19744113 14318383104 34498 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3495699 34498 3196 1 0 3483992 0
[pid=5836/tid=5837] ppid=5834 vsize=13982796 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 9222 0 0 0 130 5 0 0 20 0 15 0 19744113 14318383104 34498 18446744073709551615 4194304 4196468 140737048186448 140208516370352 140208153695210 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13982796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14318383104 34498 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13982796 memory=6299520352723231846 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14318383104 34498 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13982796 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19744114 14318383104 34498 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13982796 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13980732 memory=351532 CPUtime=626.32 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 116302 0 0 0 62522 110 0 0 20 0 15 0 19744113 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3495183 87883 3252 1 0 3483476 0
[pid=5836/tid=5837] ppid=5834 vsize=13980732 memory=1380 CPUtime=604.24 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 41773 0 0 0 60411 13 0 0 20 0 15 0 19744113 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140208516374784 140208154453064 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13980732 memory=354064 CPUtime=4.05 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 7389 0 0 0 387 18 0 0 20 0 15 0 19744114 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13980732 memory=792 CPUtime=4.04 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 6441 0 0 0 388 16 0 0 20 0 15 0 19744114 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13980732 memory=2008 CPUtime=4.05 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 5927 0 0 0 387 18 0 0 20 0 15 0 19744114 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13980732 memory=1228 CPUtime=4.04 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 6232 0 0 0 387 17 0 0 20 0 15 0 19744114 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13980732 memory=5368 CPUtime=0.71 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 9972 0 0 0 60 11 0 0 20 0 15 0 19744115 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207988614512 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5845] ppid=5834 vsize=13980732 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5845/stat : 5845 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744118 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207987562832 140208512153499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5846] ppid=5834 vsize=13980732 memory=14004 CPUtime=2.29 cores=1,3,5,7
/proc/5836/task/5846/stat : 5846 (java) S 5834 5834 16431 0 -1 1077944384 17325 0 0 0 228 1 0 0 20 0 15 0 19744118 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207986510192 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5847] ppid=5834 vsize=13980732 memory=1296 CPUtime=1.99 cores=1,3,5,7
/proc/5836/task/5847/stat : 5847 (java) S 5834 5834 16431 0 -1 1077944384 11969 0 0 0 198 1 0 0 20 0 15 0 19744118 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207985457392 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5848] ppid=5834 vsize=13980732 memory=2344 CPUtime=0.5 cores=1,3,5,7
/proc/5836/task/5848/stat : 5848 (java) S 5834 5834 16431 0 -1 1077944384 7487 0 0 0 49 1 0 0 20 0 15 0 19744118 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207984404592 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5849] ppid=5834 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5849/stat : 5849 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744119 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207983352032 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5850] ppid=5834 vsize=13980732 memory=11952 CPUtime=0.3 cores=1,3,5,7
/proc/5836/task/5850/stat : 5850 (java) S 5834 5834 16431 0 -1 1077944384 433 0 0 0 13 17 0 0 20 0 15 0 19744123 14316269568 87883 18446744073709551615 4194304 4196468 140737048186448 140207982300336 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 626.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 352912 KiB
[startup+611.201 s]
/proc/loadavg: 1.38 1.50 1.55 3/211 5884
/proc/meminfo: memFree=30485852/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13980732 memory=349504 CPUtime=627.96 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 116353 0 0 0 62686 110 0 0 20 0 15 0 19744113 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3495183 87376 3252 1 0 3483476 0
[pid=5836/tid=5837] ppid=5834 vsize=13980732 memory=1728 CPUtime=605.82 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 41777 0 0 0 60569 13 0 0 20 0 15 0 19744113 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140208516374640 140208154748151 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13980732 memory=7680170660397595203 CPUtime=4.06 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 7391 0 0 0 388 18 0 0 20 0 15 0 19744114 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13980732 memory=349480 CPUtime=4.06 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 6442 0 0 0 390 16 0 0 20 0 15 0 19744114 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13980732 memory=5368 CPUtime=4.06 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 5946 0 0 0 388 18 0 0 20 0 15 0 19744114 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13980732 memory=4612 CPUtime=4.05 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 6251 0 0 0 388 17 0 0 20 0 15 0 19744114 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13980732 memory=1444 CPUtime=0.71 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 9978 0 0 0 60 11 0 0 20 0 15 0 19744115 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13980732 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13980732 memory=349480 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207988614512 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5845] ppid=5834 vsize=13980732 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5845/stat : 5845 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744118 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207987562832 140208512153499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5846] ppid=5834 vsize=13980732 memory=1728 CPUtime=2.29 cores=1,3,5,7
/proc/5836/task/5846/stat : 5846 (java) S 5834 5834 16431 0 -1 1077944384 17325 0 0 0 228 1 0 0 20 0 15 0 19744118 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207986510192 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5847] ppid=5834 vsize=13980732 memory=11952 CPUtime=1.99 cores=1,3,5,7
/proc/5836/task/5847/stat : 5847 (java) S 5834 5834 16431 0 -1 1077944384 11969 0 0 0 198 1 0 0 20 0 15 0 19744118 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207985457392 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5848] ppid=5834 vsize=13980732 memory=1008 CPUtime=0.5 cores=1,3,5,7
/proc/5836/task/5848/stat : 5848 (java) S 5834 5834 16431 0 -1 1077944384 7487 0 0 0 49 1 0 0 20 0 15 0 19744118 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207984404592 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5849] ppid=5834 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5849/stat : 5849 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744119 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207983352032 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5850] ppid=5834 vsize=13980732 memory=2008 CPUtime=0.3 cores=1,3,5,7
/proc/5836/task/5850/stat : 5850 (java) S 5834 5834 16431 0 -1 1077944384 433 0 0 0 13 17 0 0 20 0 15 0 19744123 14316269568 87376 18446744073709551615 4194304 4196468 140737048186448 140207982300336 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 627.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 350884 KiB
[startup+612.001 s]*
/proc/loadavg: 1.38 1.50 1.55 3/211 5884
/proc/meminfo: memFree=30475736/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13980732 memory=360080 CPUtime=628.8 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 116653 0 0 0 62769 111 0 0 20 0 15 0 19744113 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3495183 90020 3252 1 0 3483476 0
[pid=5836/tid=5837] ppid=5834 vsize=13980732 memory=288230574492221466 CPUtime=606.62 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 42036 0 0 0 60649 13 0 0 20 0 15 0 19744113 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140208516374336 140208154673868 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13980732 memory=302022887072858421 CPUtime=4.08 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 7395 0 0 0 389 19 0 0 20 0 15 0 19744114 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13980732 memory=13571496182286043 CPUtime=4.07 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 6457 0 0 0 390 17 0 0 20 0 15 0 19744114 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13980732 memory=6933928925625698159 CPUtime=4.07 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 5956 0 0 0 389 18 0 0 20 0 15 0 19744114 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13980732 memory=11952 CPUtime=4.07 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 6256 0 0 0 389 18 0 0 20 0 15 0 19744114 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13980732 memory=1444 CPUtime=0.71 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 9985 0 0 0 60 11 0 0 20 0 15 0 19744115 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13980732 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207988614512 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5845] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5845/stat : 5845 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744118 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207987562832 140208512153499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5846] ppid=5834 vsize=13980732 memory=0 CPUtime=2.29 cores=1,3,5,7
/proc/5836/task/5846/stat : 5846 (java) S 5834 5834 16431 0 -1 1077944384 17325 0 0 0 228 1 0 0 20 0 15 0 19744118 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207986510192 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5847] ppid=5834 vsize=13980732 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/5836/task/5847/stat : 5847 (java) S 5834 5834 16431 0 -1 1077944384 11969 0 0 0 198 1 0 0 20 0 15 0 19744118 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207985457392 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5848] ppid=5834 vsize=13980732 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/5836/task/5848/stat : 5848 (java) S 5834 5834 16431 0 -1 1077944384 7487 0 0 0 49 1 0 0 20 0 15 0 19744118 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207984404592 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5849] ppid=5834 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5849/stat : 5849 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744119 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207983352032 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5850] ppid=5834 vsize=13980732 memory=4122824664003129644 CPUtime=0.3 cores=1,3,5,7
/proc/5836/task/5850/stat : 5850 (java) S 5834 5834 16431 0 -1 1077944384 433 0 0 0 13 17 0 0 20 0 15 0 19744123 14316269568 90020 18446744073709551615 4194304 4196468 140737048186448 140207982300336 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 628.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 361460 KiB
[startup+612.201 s]
/proc/loadavg: 1.38 1.50 1.55 3/211 5884
/proc/meminfo: memFree=30475736/32770624 swapFree=67108860/67108860
[pid=5834] ppid=5831 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5834/stat : 5834 (xcsp3-exec) S 5831 5834 16431 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 19744105 9740288 345 18446744073709551615 4194304 5098028 140726240983072 140726240981176 139657033687676 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39780352 140726240985465 140726240985670 140726240985670 140726240989163 0
/proc/5834/statm: 2378 345 289 221 0 87 0
[pid=5836] ppid=5834 vsize=13980732 memory=364176 CPUtime=629.01 cores=1,3,5,7
/proc/5836/stat : 5836 (java) S 5834 5834 16431 0 -1 1077944320 116669 0 0 0 62789 112 0 0 20 0 15 0 19744113 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140737048168992 140208512134903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
/proc/5836/statm: 3495183 91044 3252 1 0 3483476 0
[pid=5836/tid=5837] ppid=5834 vsize=13980732 memory=352044 CPUtime=606.8 cores=1,3,5,7
/proc/5836/task/5837/stat : 5837 (java) R 5834 5834 16431 0 -1 4202560 42037 0 0 0 60667 13 0 0 20 0 15 0 19744113 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140208516374576 140208156259902 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5838] ppid=5834 vsize=13980732 memory=355604 CPUtime=4.08 cores=1,3,5,7
/proc/5836/task/5838/stat : 5838 (java) S 5834 5834 16431 0 -1 1077944384 7397 0 0 0 389 19 0 0 20 0 15 0 19744114 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140208473033360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5839] ppid=5834 vsize=13980732 memory=13571496182286043 CPUtime=4.08 cores=1,3,5,7
/proc/5836/task/5839/stat : 5839 (java) S 5834 5834 16431 0 -1 1077944384 6459 0 0 0 391 17 0 0 20 0 15 0 19744114 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140208471980560 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5840] ppid=5834 vsize=13980732 memory=1296 CPUtime=4.08 cores=1,3,5,7
/proc/5836/task/5840/stat : 5840 (java) S 5834 5834 16431 0 -1 1077944384 5961 0 0 0 390 18 0 0 20 0 15 0 19744114 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140208470927760 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5841] ppid=5834 vsize=13980732 memory=2344 CPUtime=4.07 cores=1,3,5,7
/proc/5836/task/5841/stat : 5841 (java) S 5834 5834 16431 0 -1 1077944384 6262 0 0 0 389 18 0 0 20 0 15 0 19744114 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140208108923152 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5842] ppid=5834 vsize=13980732 memory=7680170660397595203 CPUtime=0.71 cores=1,3,5,7
/proc/5836/task/5842/stat : 5842 (java) S 5834 5834 16431 0 -1 1077944384 9985 0 0 0 60 11 0 0 20 0 15 0 19744115 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207990721392 140208512146050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5843] ppid=5834 vsize=13980732 memory=11952 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5843/stat : 5843 (java) S 5834 5834 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207989667360 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5844] ppid=5834 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5844/stat : 5844 (java) S 5834 5834 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19744116 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207988614512 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5845] ppid=5834 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5845/stat : 5845 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744118 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207987562832 140208512153499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5846] ppid=5834 vsize=13980732 memory=2008 CPUtime=2.29 cores=1,3,5,7
/proc/5836/task/5846/stat : 5846 (java) S 5834 5834 16431 0 -1 1077944384 17325 0 0 0 228 1 0 0 20 0 15 0 19744118 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207986510192 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5847] ppid=5834 vsize=13980732 memory=1228 CPUtime=1.99 cores=1,3,5,7
/proc/5836/task/5847/stat : 5847 (java) S 5834 5834 16431 0 -1 1077944384 11969 0 0 0 198 1 0 0 20 0 15 0 19744118 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207985457392 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5848] ppid=5834 vsize=13980732 memory=952 CPUtime=0.5 cores=1,3,5,7
/proc/5836/task/5848/stat : 5848 (java) S 5834 5834 16431 0 -1 1077944384 7487 0 0 0 49 1 0 0 20 0 15 0 19744118 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207984404592 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5849] ppid=5834 vsize=13980732 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5836/task/5849/stat : 5849 (java) S 5834 5834 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19744119 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207983352032 140208512145109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
[pid=5836/tid=5850] ppid=5834 vsize=13980732 memory=2780 CPUtime=0.3 cores=1,3,5,7
/proc/5836/task/5850/stat : 5850 (java) S 5834 5834 16431 0 -1 1077944384 433 0 0 0 13 17 0 0 20 0 15 0 19744123 14316269568 91044 18446744073709551615 4194304 4196468 140737048186448 140207982300336 140208512146050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 27893760 140737048187314 140737048187490 140737048187490 140737048190927 0
Current children cumulated CPU time: 629.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 365556 KiB
Child status: 0
Real time (s): 612.245
CPU time (s): 629.067
CPU user time (s): 627.935
CPU system time (s): 1.13213
CPU usage (%): 102.748
Max. virtual memory (cumulated for all children) (KiB): 13992308
Max. memory (cumulated for all children) (KiB): 500404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 627.935
system time used= 1.13213
maximum resident set size= 521352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32165
involuntary context switches= 1347
# summary of solver processes directly reported to runsolver:
# pid: 5834
# total CPU time (s): 629.067
# total CPU user time (s): 627.935
# total CPU system time (s): 1.13213
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.61175 second user time and 6.28247 second system time
The end