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 (11578 MiB free)
memory of node 1: 16384 MiB (15423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283802-1503213233/watcher-4283802-1503213233 -o /tmp/evaluation-result-4283802-1503213233/solver-4283802-1503213233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 694898163 HOME/instance-4283802-1503213233.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=20084, runsolver pid=20081
[startup+0.100136 s]*
/proc/loadavg: 1.83 1.76 1.69 3/202 20091
/proc/meminfo: memFree=27643912/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13441356 memory=15952 CPUtime=0.01 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 3756 0 0 0 1 0 0 0 20 0 7 0 123516292 13763948544 3988 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3360339 3988 2025 1 0 3349836 0
[pid=20086/tid=20087] ppid=20084 vsize=13441356 memory=-8023549066454273880 CPUtime=0.01 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 2524 0 0 0 1 0 0 0 20 0 7 0 123516292 13763948544 3988 18446744073709551615 4194304 4196468 140724569982608 140131175205648 140131170985117 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13441356 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 123516293 13763948544 3988 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13441356 memory=140244365137536 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 123516293 13763948544 3988 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 123516293 13763948544 3988 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 123516293 13763948544 3988 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13441356 memory=140244365137536 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 123516294 13763948544 3988 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17332 KiB
[startup+0.213654 s]*
/proc/loadavg: 1.83 1.76 1.69 3/211 20100
/proc/meminfo: memFree=27633320/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13974352 memory=27996 CPUtime=0.1 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 5417 0 0 0 10 0 0 0 20 0 15 0 123516292 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3493588 6999 2747 1 0 3482964 0
[pid=20086/tid=20087] ppid=20084 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 3557 0 0 0 8 0 0 0 20 0 15 0 123516292 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140131175193344 140131156688894 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13974352 memory=4050337805960009376 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13974352 memory=140244365137536 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123516294 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20093/stat : 20093 (java) S 20084 20084 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123516295 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130648556832 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20094] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20094/stat : 20094 (java) S 20084 20084 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123516295 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130647504496 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20095] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20095/stat : 20095 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130646452816 140131170981787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20096] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20096/stat : 20096 (java) S 20084 20084 28892 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 123516297 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130645399664 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20097] ppid=20084 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20097/stat : 20097 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516297 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130644346864 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20098] ppid=20084 vsize=13974352 memory=140244365137536 CPUtime=0.01 cores=1,3,5,7
/proc/20086/task/20098/stat : 20098 (java) S 20084 20084 28892 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 123516297 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130643294576 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20099] ppid=20084 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20099/stat : 20099 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130642242016 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20100] ppid=20084 vsize=13974352 memory=140244365137536 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20100/stat : 20100 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516303 14309736448 6999 18446744073709551615 4194304 4196468 140724569982608 140130641189808 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29376 KiB
[startup+0.310921 s]*
/proc/loadavg: 1.83 1.76 1.69 5/211 20100
/proc/meminfo: memFree=27622648/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13974352 memory=37616 CPUtime=0.29 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 8993 0 0 0 27 2 0 0 20 0 15 0 123516292 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3493588 9404 2983 1 0 3482964 0
[pid=20086/tid=20087] ppid=20084 vsize=13974352 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 6162 0 0 0 16 1 0 0 20 0 15 0 123516292 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140131175195952 140131170985117 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123516293 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123516294 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20093/stat : 20093 (java) S 20084 20084 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123516295 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130648556832 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20094] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20094/stat : 20094 (java) S 20084 20084 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123516295 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130647504496 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20095] ppid=20084 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20095/stat : 20095 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130646452816 140131170981787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20096] ppid=20084 vsize=13974352 memory=140244238488512 CPUtime=0.02 cores=1,3,5,7
/proc/20086/task/20096/stat : 20096 (java) D 20084 20084 28892 0 -1 4202560 641 0 0 0 2 0 0 0 20 0 15 0 123516297 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130645380680 140131163680343 0 4 1 16800974 18446744071582151463 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20097] ppid=20084 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20086/task/20097/stat : 20097 (java) S 20084 20084 28892 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 123516297 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130644346864 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20098] ppid=20084 vsize=13974352 memory=140244365137536 CPUtime=0.06 cores=1,3,5,7
/proc/20086/task/20098/stat : 20098 (java) S 20084 20084 28892 0 -1 1077944384 737 0 0 0 6 0 0 0 20 0 15 0 123516297 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130643294576 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20099] ppid=20084 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20099/stat : 20099 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130642242016 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20100] ppid=20084 vsize=13974352 memory=140244365137536 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20100/stat : 20100 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516303 14309736448 9404 18446744073709551615 4194304 4196468 140724569982608 140130641189808 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38996 KiB
[startup+0.701376 s]
/proc/loadavg: 1.83 1.76 1.69 6/211 20100
/proc/meminfo: memFree=27611832/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13980732 memory=65868 CPUtime=1.29 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 13191 0 0 0 126 3 0 0 20 0 15 0 123516292 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3495183 16467 3173 1 0 3483476 0
[pid=20086/tid=20087] ppid=20084 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 8085 0 0 0 53 2 0 0 20 0 15 0 123516292 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140131175202528 140130777109686 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13980732 memory=140244238213744 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13980732 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123516294 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20093/stat : 20093 (java) S 20084 20084 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130648556832 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20094] ppid=20084 vsize=13980732 memory=-6305716104871896448 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20094/stat : 20094 (java) S 20084 20084 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130647504496 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20095] ppid=20084 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20095/stat : 20095 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130646452816 140131170981787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20096] ppid=20084 vsize=13980732 memory=6944656592455359580 CPUtime=0.22 cores=1,3,5,7
/proc/20086/task/20096/stat : 20096 (java) R 20084 20084 28892 0 -1 4202560 1290 0 0 0 22 0 0 0 20 0 15 0 123516297 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130645389136 140131150134496 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20097] ppid=20084 vsize=13980732 memory=6944656592455097440 CPUtime=0.21 cores=1,3,5,7
/proc/20086/task/20097/stat : 20097 (java) R 20084 20084 28892 0 -1 4202560 997 0 0 0 21 0 0 0 20 0 15 0 123516297 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130644333680 140131150625392 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20098] ppid=20084 vsize=13980732 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/20086/task/20098/stat : 20098 (java) R 20084 20084 28892 0 -1 4202560 1513 0 0 0 28 0 0 0 20 0 15 0 123516297 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130643294576 140131155043678 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20099] ppid=20084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20099/stat : 20099 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130642242016 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20100] ppid=20084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20100/stat : 20100 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516303 14316269568 16467 18446744073709551615 4194304 4196468 140724569982608 140130641189808 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67248 KiB
[startup+1.50089 s]
/proc/loadavg: 1.83 1.76 1.69 5/211 20100
/proc/meminfo: memFree=27576064/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13980732 memory=135368 CPUtime=3.77 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 26227 0 0 0 370 7 0 0 20 0 15 0 123516292 14316269568 33842 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3495183 33842 3192 1 0 3483476 0
[pid=20086/tid=20087] ppid=20084 vsize=13980732 memory=6933954213533489819 CPUtime=1.34 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 8916 0 0 0 131 3 0 0 20 0 15 0 123516292 14316269568 33842 18446744073709551615 4194304 4196468 140724569982608 140131175200016 140130777956192 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13980732 memory=7523652749987636066 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 33842 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13980732 memory=7595127700892918937 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 33842 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13980732 memory=9123057489018315618 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 33842 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13980732 memory=-8537063057553529756 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123516293 14316269568 33842 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13980732 memory=7682744562830902035 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123516294 14316269568 33842 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13980732 memory=-7737605734073681312 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13980732 memory=373788 CPUtime=241.21 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 62995 0 0 0 24069 52 0 0 20 0 15 0 123516292 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3495183 93447 3235 1 0 3483476 0
[pid=20086/tid=20087] ppid=20084 vsize=13980732 memory=2836 CPUtime=229.85 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 18899 0 0 0 22979 6 0 0 20 0 15 0 123516292 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140131175201984 140130776815052 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13980732 memory=4060 CPUtime=1.55 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1980 0 0 0 146 9 0 0 20 0 15 0 123516293 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13980732 memory=1152 CPUtime=1.54 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 2997 0 0 0 145 9 0 0 20 0 15 0 123516293 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13980732 memory=4872558044660077418 CPUtime=1.55 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 2237 0 0 0 148 7 0 0 20 0 15 0 123516293 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13980732 memory=4028 CPUtime=1.54 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2392 0 0 0 146 8 0 0 20 0 15 0 123516293 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13980732 memory=66016 CPUtime=0.31 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 1939 0 0 0 27 4 0 0 20 0 15 0 123516294 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20093/stat : 20093 (java) S 20084 20084 28892 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130648556832 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20094] ppid=20084 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20094/stat : 20094 (java) S 20084 20084 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130647504496 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20095] ppid=20084 vsize=13980732 memory=380796 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20095/stat : 20095 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130646452816 140131170981787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20096] ppid=20084 vsize=13980732 memory=4048 CPUtime=2.05 cores=1,3,5,7
/proc/20086/task/20096/stat : 20096 (java) S 20084 20084 28892 0 -1 1077944384 12879 0 0 0 204 1 0 0 20 0 15 0 123516297 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130645399664 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20097] ppid=20084 vsize=13980732 memory=37876 CPUtime=2.12 cores=1,3,5,7
/proc/20086/task/20097/stat : 20097 (java) S 20084 20084 28892 0 -1 1077944384 12122 0 0 0 211 1 0 0 20 0 15 0 123516297 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130644346864 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20098] ppid=20084 vsize=13980732 memory=280488477010656 CPUtime=0.5 cores=1,3,5,7
/proc/20086/task/20098/stat : 20098 (java) S 20084 20084 28892 0 -1 1077944384 5978 0 0 0 50 0 0 0 20 0 15 0 123516297 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130643294576 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20099] ppid=20084 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20099/stat : 20099 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130642242016 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20100] ppid=20084 vsize=13980732 memory=3028 CPUtime=0.1 cores=1,3,5,7
/proc/20086/task/20100/stat : 20100 (java) S 20084 20084 28892 0 -1 1077944384 211 0 0 0 4 6 0 0 20 0 15 0 123516303 14316269568 93447 18446744073709551615 4194304 4196468 140724569982608 140130641189808 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 241.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 375168 KiB
[startup+233.601 s]
/proc/loadavg: 1.40 1.60 1.64 3/211 20145
/proc/meminfo: memFree=27056728/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13980732 memory=372764 CPUtime=242.84 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 63036 0 0 0 24232 52 0 0 20 0 15 0 123516292 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3495183 93191 3235 1 0 3483476 0
[pid=20086/tid=20087] ppid=20084 vsize=13980732 memory=1380 CPUtime=231.43 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 18902 0 0 0 23137 6 0 0 20 0 15 0 123516292 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140131175201872 140130777991667 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13980732 memory=371552 CPUtime=1.56 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1980 0 0 0 147 9 0 0 20 0 15 0 123516293 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13980732 memory=1624 CPUtime=1.55 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 2999 0 0 0 146 9 0 0 20 0 15 0 123516293 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13980732 memory=4028 CPUtime=1.56 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 2265 0 0 0 149 7 0 0 20 0 15 0 123516293 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13980732 memory=66016 CPUtime=1.55 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2395 0 0 0 147 8 0 0 20 0 15 0 123516293 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13980732 memory=3256 CPUtime=0.32 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 1944 0 0 0 28 4 0 0 20 0 15 0 123516294 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20093/stat : 20093 (java) S 20084 20084 28892 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130648556832 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20094] ppid=20084 vsize=13980732 memory=3676192 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20094/stat : 20094 (java) S 20084 20084 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130647504496 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20095] ppid=20084 vsize=13980732 memory=373092 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20095/stat : 20095 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130646452816 140131170981787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20096] ppid=20084 vsize=13980732 memory=373604 CPUtime=2.05 cores=1,3,5,7
/proc/20086/task/20096/stat : 20096 (java) S 20084 20084 28892 0 -1 1077944384 12879 0 0 0 204 1 0 0 20 0 15 0 123516297 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130645399664 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20097] ppid=20084 vsize=13980732 memory=1204 CPUtime=2.12 cores=1,3,5,7
/proc/20086/task/20097/stat : 20097 (java) S 20084 20084 28892 0 -1 1077944384 12122 0 0 0 211 1 0 0 20 0 15 0 123516297 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130644346864 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20098] ppid=20084 vsize=13980732 memory=-8774313645642428999 CPUtime=0.5 cores=1,3,5,7
/proc/20086/task/20098/stat : 20098 (java) S 20084 20084 28892 0 -1 1077944384 5978 0 0 0 50 0 0 0 20 0 15 0 123516297 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130643294576 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20099] ppid=20084 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20099/stat : 20099 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130642242016 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20100] ppid=20084 vsize=13980732 memory=374120 CPUtime=0.1 cores=1,3,5,7
/proc/20086/task/20100/stat : 20100 (java) S 20084 20084 28892 0 -1 1077944384 211 0 0 0 4 6 0 0 20 0 15 0 123516303 14316269568 93191 18446744073709551615 4194304 4196468 140724569982608 140130641189808 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 242.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 374144 KiB
[startup+234.401 s]
/proc/loadavg: 1.40 1.60 1.64 3/211 20145
/proc/meminfo: memFree=27052720/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13980732 memory=381920 CPUtime=243.67 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 63320 0 0 0 24314 53 0 0 20 0 15 0 123516292 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3495183 95480 3235 1 0 3483476 0
[pid=20086/tid=20087] ppid=20084 vsize=13980732 memory=1000 CPUtime=232.22 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 19161 0 0 0 23216 6 0 0 20 0 15 0 123516292 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131175202736 140130778158184 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13980732 memory=4048 CPUtime=1.57 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1983 0 0 0 148 9 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13980732 memory=37876 CPUtime=1.56 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 3004 0 0 0 147 9 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13980732 memory=1788 CPUtime=1.57 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 2268 0 0 0 150 7 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13980732 memory=-8774313645642428999 CPUtime=1.56 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2403 0 0 0 148 8 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13980732 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 1950 0 0 0 28 4 0 0 20 0 15 0 123516294 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20093/stat : 20093 (java) S 20084 20084 28892 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130648556832 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20094] ppid=20084 vsize=13980732 memory=205 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20094/stat : 20094 (java) S 20084 20084 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130647504496 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20095] ppid=20084 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20095/stat : 20095 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130646452816 140131170981787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20096] ppid=20084 vsize=13980732 memory=288230621803970871 CPUtime=2.05 cores=1,3,5,7
/proc/20086/task/20096/stat : 20096 (java) S 20084 20084 28892 0 -1 1077944384 12879 0 0 0 204 1 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130645399664 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20097] ppid=20084 vsize=13980732 memory=15825486446070293 CPUtime=2.12 cores=1,3,5,7
/proc/20086/task/20097/stat : 20097 (java) S 20084 20084 28892 0 -1 1077944384 12122 0 0 0 211 1 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130644346864 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20098] ppid=20084 vsize=13980732 memory=4048 CPUtime=0.5 cores=1,3,5,7
/proc/20086/task/20098/stat : 20098 (java) S 20084 20084 28892 0 -1 1077944384 5978 0 0 0 50 0 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130643294576 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20099] ppid=20084 vsize=13980732 memory=37876 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20099/stat : 20099 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130642242016 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20100] ppid=20084 vsize=13980732 memory=376880 CPUtime=0.1 cores=1,3,5,7
/proc/20086/task/20100/stat : 20100 (java) S 20084 20084 28892 0 -1 1077944384 211 0 0 0 4 6 0 0 20 0 15 0 123516303 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130641189808 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 243.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 383300 KiB
[startup+234.601 s]
/proc/loadavg: 1.40 1.60 1.64 3/211 20145
/proc/meminfo: memFree=27052720/32770624 swapFree=67108860/67108860
[pid=20084] ppid=20081 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20084/stat : 20084 (xcsp3-exec) S 20081 20084 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123516284 9740288 345 18446744073709551615 4194304 5098028 140737008987440 140737008985544 140670789448316 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 26378240 140737008992633 140737008992837 140737008992837 140737008996331 0
/proc/20084/statm: 2378 345 289 221 0 87 0
[pid=20086] ppid=20084 vsize=13980732 memory=381920 CPUtime=243.87 cores=1,3,5,7
/proc/20086/stat : 20086 (java) S 20084 20084 28892 0 -1 1077944320 63320 0 0 0 24334 53 0 0 20 0 15 0 123516292 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140724569965152 140131170963191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
/proc/20086/statm: 3495183 95480 3235 1 0 3483476 0
[pid=20086/tid=20087] ppid=20084 vsize=13980732 memory=4300 CPUtime=232.42 cores=1,3,5,7
/proc/20086/task/20087/stat : 20087 (java) R 20084 20084 28892 0 -1 4202560 19161 0 0 0 23236 6 0 0 20 0 15 0 123516292 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131175202736 140130778078471 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20088] ppid=20084 vsize=13980732 memory=1380 CPUtime=1.57 cores=1,3,5,7
/proc/20086/task/20088/stat : 20088 (java) S 20084 20084 28892 0 -1 1077944384 1983 0 0 0 148 9 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131105397136 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20089] ppid=20084 vsize=13980732 memory=372764 CPUtime=1.56 cores=1,3,5,7
/proc/20086/task/20089/stat : 20089 (java) S 20084 20084 28892 0 -1 1077944384 3004 0 0 0 147 9 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131104344336 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20090] ppid=20084 vsize=13980732 memory=-8774313645642428999 CPUtime=1.57 cores=1,3,5,7
/proc/20086/task/20090/stat : 20090 (java) S 20084 20084 28892 0 -1 1077944384 2268 0 0 0 150 7 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131103292048 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20091] ppid=20084 vsize=13980732 memory=1380 CPUtime=1.56 cores=1,3,5,7
/proc/20086/task/20091/stat : 20091 (java) S 20084 20084 28892 0 -1 1077944384 2403 0 0 0 148 8 0 0 20 0 15 0 123516293 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140131102239248 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20092] ppid=20084 vsize=13980732 memory=375656 CPUtime=0.32 cores=1,3,5,7
/proc/20086/task/20092/stat : 20092 (java) S 20084 20084 28892 0 -1 1077944384 1950 0 0 0 28 4 0 0 20 0 15 0 123516294 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130649610864 140131170974338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20093] ppid=20084 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20093/stat : 20093 (java) S 20084 20084 28892 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130648556832 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20094] ppid=20084 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20094/stat : 20094 (java) S 20084 20084 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 123516295 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130647504496 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20095] ppid=20084 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20095/stat : 20095 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130646452816 140131170981787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20096] ppid=20084 vsize=13980732 memory=1380 CPUtime=2.05 cores=1,3,5,7
/proc/20086/task/20096/stat : 20096 (java) S 20084 20084 28892 0 -1 1077944384 12879 0 0 0 204 1 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130645399664 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20097] ppid=20084 vsize=13980732 memory=377712 CPUtime=2.12 cores=1,3,5,7
/proc/20086/task/20097/stat : 20097 (java) S 20084 20084 28892 0 -1 1077944384 12122 0 0 0 211 1 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130644346864 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20098] ppid=20084 vsize=13980732 memory=796 CPUtime=0.5 cores=1,3,5,7
/proc/20086/task/20098/stat : 20098 (java) S 20084 20084 28892 0 -1 1077944384 5978 0 0 0 50 0 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130643294576 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20099] ppid=20084 vsize=13980732 memory=11164 CPUtime=0 cores=1,3,5,7
/proc/20086/task/20099/stat : 20099 (java) S 20084 20084 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123516297 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130642242016 140131170973397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
[pid=20086/tid=20100] ppid=20084 vsize=13980732 memory=15880 CPUtime=0.1 cores=1,3,5,7
/proc/20086/task/20100/stat : 20100 (java) S 20084 20084 28892 0 -1 1077944384 211 0 0 0 4 6 0 0 20 0 15 0 123516303 14316269568 95480 18446744073709551615 4194304 4196468 140724569982608 140130641189808 140131170974338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25206784 140724569985457 140724569985633 140724569985633 140724569989071 0
Current children cumulated CPU time: 243.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 383300 KiB
Child status: 0
Real time (s): 234.631
CPU time (s): 243.918
CPU user time (s): 243.376
CPU system time (s): 0.542837
CPU usage (%): 103.958
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 384064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.376
system time used= 0.542837
maximum resident set size= 382688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14033
involuntary context switches= 393
# summary of solver processes directly reported to runsolver:
# pid: 20084
# total CPU time (s): 243.918
# total CPU user time (s): 243.376
# total CPU system time (s): 0.542837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57042 second user time and 2.26946 second system time
The end