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 (15163 MiB free)
memory of node 1: 16384 MiB (14884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272062-1502806262/watcher-4272062-1502806262 -o /tmp/evaluation-result-4272062-1502806262/solver-4272062-1502806262 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1677997818 HOME/instance-4272062-1502806262.xml
running on 4 cores: 0,2,4,6
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=1473, runsolver pid=1470
[startup+0.100092 s]*
/proc/loadavg: 1.62 1.42 1.42 2/200 1476
/proc/meminfo: memFree=30765196/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13358712 memory=13840 CPUtime=0 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 3220 0 0 0 0 0 0 0 20 0 6 0 34508793 13679321088 3460 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3339678 3460 1867 1 0 3329175 0
[pid=1475/tid=1476] ppid=1473 vsize=13358712 memory=8508281356422317474 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 2113 0 0 0 0 0 0 0 20 0 6 0 34508793 13679321088 3592 18446744073709551615 4194304 4196468 140730250917504 140309554291280 140309534135646 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13358712 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 34508794 13679321088 3592 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13358712 memory=140710616106624 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 34508794 13679321088 3592 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 34508794 13679321088 3592 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 34508794 13679321088 3592 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15220 KiB
[startup+0.211247 s]*
/proc/loadavg: 1.62 1.42 1.42 4/213 1489
/proc/meminfo: memFree=30757376/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13974352 memory=22488 CPUtime=0.07 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 5047 0 0 0 6 1 0 0 20 0 15 0 34508793 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3493588 5622 2713 1 0 3482964 0
[pid=1475/tid=1476] ppid=1473 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 3229 0 0 0 5 1 0 0 20 0 15 0 34508793 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309554289440 140309550077085 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13974352 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13974352 memory=140710616288679 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13974352 memory=140710616106624 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508796 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 34508796 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1483/stat : 1483 (java) S 1473 1473 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34508796 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309026501616 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1484] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1484/stat : 1484 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309025450192 140309550073755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1485] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1485/stat : 1485 (java) S 1473 1473 7968 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 34508799 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309024397808 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1486] ppid=1473 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1486/stat : 1486 (java) S 1473 1473 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 34508799 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309023345264 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1487] ppid=1473 vsize=13974352 memory=140710616106624 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1487/stat : 1487 (java) S 1473 1473 7968 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 15 0 34508799 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309022292720 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1488] ppid=1473 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1488/stat : 1488 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309021240416 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1489] ppid=1473 vsize=13974352 memory=140710616106624 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1489/stat : 1489 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508805 14309736448 5622 18446744073709551615 4194304 4196468 140730250917504 140309020186928 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23868 KiB
[startup+0.310236 s]*
/proc/loadavg: 1.62 1.42 1.42 3/213 1489
/proc/meminfo: memFree=30741544/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13974352 memory=36564 CPUtime=0.25 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 8767 0 0 0 22 3 0 0 20 0 15 0 34508793 14309736448 9141 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3493588 9141 2978 1 0 3482964 0
[pid=1475/tid=1476] ppid=1473 vsize=13974352 memory=4278483708103473607 CPUtime=0.16 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 5988 0 0 0 14 2 0 0 20 0 15 0 34508793 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309554269296 140309534135646 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508796 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 34508796 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1483/stat : 1483 (java) S 1473 1473 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34508796 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309026501616 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1484] ppid=1473 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1484/stat : 1484 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309025450192 140309550073755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1485] ppid=1473 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1485/stat : 1485 (java) S 1473 1473 7968 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 15 0 34508799 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309024397808 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1486] ppid=1473 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1486/stat : 1486 (java) S 1473 1473 7968 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 34508799 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309023345264 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1487] ppid=1473 vsize=13974352 memory=140710616106624 CPUtime=0.05 cores=0,2,4,6
/proc/1475/task/1487/stat : 1487 (java) R 1473 1473 7968 0 -1 4202560 723 0 0 0 5 0 0 0 20 0 15 0 34508799 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309022292720 140309528993420 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1488] ppid=1473 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1488/stat : 1488 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309021240416 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1489] ppid=1473 vsize=13974352 memory=140710616106624 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1489/stat : 1489 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508805 14309736448 9212 18446744073709551615 4194304 4196468 140730250917504 140309020186928 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37944 KiB
[startup+0.70113 s]
/proc/loadavg: 1.62 1.42 1.42 3/213 1489
/proc/meminfo: memFree=30730924/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13980732 memory=63132 CPUtime=1.2 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 13407 0 0 0 115 5 0 0 20 0 15 0 34508793 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3495183 15783 3173 1 0 3483476 0
[pid=1475/tid=1476] ppid=1473 vsize=13980732 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 8448 0 0 0 50 3 0 0 20 0 15 0 34508793 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309554293952 140309149389144 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13980732 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13980732 memory=8025788814044386406 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13980732 memory=5859271421084063080 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13980732 memory=5450909908396308010 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13980732 memory=-9102473451428748661 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1483/stat : 1483 (java) S 1473 1473 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309026501616 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1484] ppid=1473 vsize=13980732 memory=-7025448733113094249 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1484/stat : 1484 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309025450192 140309550073755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1485] ppid=1473 vsize=13980732 memory=8761640388318109335 CPUtime=0.2 cores=0,2,4,6
/proc/1475/task/1485/stat : 1485 (java) R 1473 1473 7968 0 -1 4202560 1022 0 0 0 20 0 0 0 20 0 15 0 34508799 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309024387104 140309529713952 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1486] ppid=1473 vsize=13980732 memory=4206468019014099040 CPUtime=0.17 cores=0,2,4,6
/proc/1475/task/1486/stat : 1486 (java) R 1473 1473 7968 0 -1 4202560 1235 0 0 0 17 0 0 0 20 0 15 0 34508799 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309023326280 140309531580306 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1487] ppid=1473 vsize=13980732 memory=-7965959130280075168 CPUtime=0.26 cores=0,2,4,6
/proc/1475/task/1487/stat : 1487 (java) R 1473 1473 7968 0 -1 4202560 1393 0 0 0 26 0 0 0 20 0 15 0 34508799 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309022292720 140309534135646 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1488] ppid=1473 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1488/stat : 1488 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309021240416 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1489] ppid=1473 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1489/stat : 1489 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508805 14316269568 15783 18446744073709551615 4194304 4196468 140730250917504 140309020186928 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64512 KiB
[startup+1.50083 s]
/proc/loadavg: 1.62 1.42 1.42 4/213 1489
/proc/meminfo: memFree=30701800/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13980732 memory=124172 CPUtime=3.7 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 32506 0 0 0 362 8 0 0 20 0 15 0 34508793 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3495183 31043 3194 1 0 3483476 0
[pid=1475/tid=1476] ppid=1473 vsize=13980732 memory=1380 CPUtime=1.33 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 9273 0 0 0 129 4 0 0 20 0 15 0 34508793 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140309554292136 140309152406432 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13980732 memory=76196 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13980732 memory=281421021263248 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13980732 memory=16724602654207 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34508794 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13980732 memory=-7246141791834504125 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 31043 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13980732 memory=-7107449089259629166 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13980732 memory=203112 CPUtime=26.87 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 47611 0 0 0 2671 16 0 0 20 0 15 0 34508793 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3495183 50778 3238 1 0 3483476 0
[pid=1475/tid=1476] ppid=1473 vsize=13980732 memory=8704 CPUtime=20.55 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 11464 0 0 0 2049 6 0 0 20 0 15 0 34508793 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309554294704 140309154654048 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13980732 memory=7680170660397595203 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 521 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13980732 memory=55 CPUtime=0.05 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 790 0 0 0 4 1 0 0 20 0 15 0 34508794 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13980732 memory=140710511029952 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13980732 memory=6944656592387989600 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 237 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13980732 memory=205680 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 15 0 34508796 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13980732 memory=210300 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1483/stat : 1483 (java) S 1473 1473 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309026501616 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1484] ppid=1473 vsize=13980732 memory=214880 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1484/stat : 1484 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309025450192 140309550073755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1485] ppid=1473 vsize=13980732 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1485/stat : 1485 (java) S 1473 1473 7968 0 -1 1077944384 10720 0 0 0 275 1 0 0 20 0 15 0 34508799 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309024397808 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1486] ppid=1473 vsize=13980732 memory=1380 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1486/stat : 1486 (java) S 1473 1473 7968 0 -1 1077944384 17285 0 0 0 274 2 0 0 20 0 15 0 34508799 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309023345264 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1487] ppid=1473 vsize=13980732 memory=217956 CPUtime=0.51 cores=0,2,4,6
/proc/1475/task/1487/stat : 1487 (java) S 1473 1473 7968 0 -1 1077944384 3802 0 0 0 50 1 0 0 20 0 15 0 34508799 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309022292720 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1488] ppid=1473 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1488/stat : 1488 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309021240416 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1489] ppid=1473 vsize=13980732 memory=205680 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1489/stat : 1489 (java) S 1473 1473 7968 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 34508805 14316269568 50778 18446744073709551615 4194304 4196468 140730250917504 140309020186928 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 26.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204492 KiB
[startup+22.4008 s]
/proc/loadavg: 1.68 1.45 1.43 3/213 1492
/proc/meminfo: memFree=30595224/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13980732 memory=201060 CPUtime=28.47 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 47687 0 0 0 2831 16 0 0 20 0 15 0 34508793 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3495183 50265 3238 1 0 3483476 0
[pid=1475/tid=1476] ppid=1473 vsize=13980732 memory=7680170660397595203 CPUtime=22.15 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 11485 0 0 0 2209 6 0 0 20 0 15 0 34508793 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309554294720 140309153411273 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13980732 memory=203112 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 521 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13980732 memory=59663 CPUtime=0.05 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 791 0 0 0 4 1 0 0 20 0 15 0 34508794 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13980732 memory=140710511209174 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13980732 memory=208244 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 237 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13980732 memory=210300 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 15 0 34508796 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13980732 memory=9916 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1483/stat : 1483 (java) S 1473 1473 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309026501616 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1484] ppid=1473 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1484/stat : 1484 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309025450192 140309550073755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1485] ppid=1473 vsize=13980732 memory=15872 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1485/stat : 1485 (java) S 1473 1473 7968 0 -1 1077944384 10730 0 0 0 275 1 0 0 20 0 15 0 34508799 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309024397808 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1486] ppid=1473 vsize=13980732 memory=4040 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1486/stat : 1486 (java) S 1473 1473 7968 0 -1 1077944384 17286 0 0 0 274 2 0 0 20 0 15 0 34508799 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309023345264 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1487] ppid=1473 vsize=13980732 memory=16444 CPUtime=0.51 cores=0,2,4,6
/proc/1475/task/1487/stat : 1487 (java) S 1473 1473 7968 0 -1 1077944384 3845 0 0 0 50 1 0 0 20 0 15 0 34508799 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309022292720 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1488] ppid=1473 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1488/stat : 1488 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309021240416 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1489] ppid=1473 vsize=13980732 memory=1000 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1489/stat : 1489 (java) S 1473 1473 7968 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 34508805 14316269568 50265 18446744073709551615 4194304 4196468 140730250917504 140309020186928 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 28.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202440 KiB
[startup+23.2008 s]
/proc/loadavg: 1.68 1.45 1.43 3/213 1492
/proc/meminfo: memFree=30595252/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13980732 memory=196516 CPUtime=29.29 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 47712 0 0 0 2912 17 0 0 20 0 15 0 34508793 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3495183 49129 3238 1 0 3483476 0
[pid=1475/tid=1476] ppid=1473 vsize=13980732 memory=7680170660397595203 CPUtime=22.95 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 11486 0 0 0 2289 6 0 0 20 0 15 0 34508793 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309554294496 140309150391400 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13980732 memory=214880 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 522 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13980732 memory=15872 CPUtime=0.05 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 804 0 0 0 4 1 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13980732 memory=4040 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 439 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13980732 memory=16444 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 238 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13980732 memory=13000 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 582 0 0 0 1 0 0 0 20 0 15 0 34508796 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13980732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13980732 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1483/stat : 1483 (java) S 1473 1473 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309026501616 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1484] ppid=1473 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1484/stat : 1484 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309025450192 140309550073755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1485] ppid=1473 vsize=13980732 memory=201060 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1485/stat : 1485 (java) S 1473 1473 7968 0 -1 1077944384 10730 0 0 0 275 1 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309024397808 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1486] ppid=1473 vsize=13980732 memory=4612 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1486/stat : 1486 (java) S 1473 1473 7968 0 -1 1077944384 17286 0 0 0 274 2 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309023345264 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1487] ppid=1473 vsize=13980732 memory=792 CPUtime=0.51 cores=0,2,4,6
/proc/1475/task/1487/stat : 1487 (java) S 1473 1473 7968 0 -1 1077944384 3846 0 0 0 50 1 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309022292720 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1488] ppid=1473 vsize=13980732 memory=8704 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1488/stat : 1488 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309021240416 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1489] ppid=1473 vsize=13980732 memory=1440 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1489/stat : 1489 (java) S 1473 1473 7968 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 34508805 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309020186928 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 29.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197896 KiB
[startup+23.6008 s]
/proc/loadavg: 1.68 1.45 1.43 3/213 1492
/proc/meminfo: memFree=30595252/32770624 swapFree=67108860/67108860
[pid=1473] ppid=1470 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1473/stat : 1473 (xcsp3-exec) S 1470 1473 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 34508784 9740288 345 18446744073709551615 4194304 5098028 140736157626096 140736157624200 140572339737212 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 22302720 140736157634937 140736157635142 140736157635142 140736157638635 0
/proc/1473/statm: 2378 345 289 221 0 87 0
[pid=1475] ppid=1473 vsize=13980732 memory=196516 CPUtime=29.69 cores=0,2,4,6
/proc/1475/stat : 1475 (java) S 1473 1473 7968 0 -1 1077944320 47712 0 0 0 2952 17 0 0 20 0 15 0 34508793 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140730250900048 140309550055159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
/proc/1475/statm: 3495183 49129 3238 1 0 3483476 0
[pid=1475/tid=1476] ppid=1473 vsize=13980732 memory=4612 CPUtime=23.35 cores=0,2,4,6
/proc/1475/task/1476/stat : 1476 (java) R 1473 1473 7968 0 -1 4202560 11486 0 0 0 2329 6 0 0 20 0 15 0 34508793 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309554294496 140309154259752 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1477] ppid=1473 vsize=13980732 memory=792 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1477/stat : 1477 (java) S 1473 1473 7968 0 -1 1077944384 522 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309469469456 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1478] ppid=1473 vsize=13980732 memory=8704 CPUtime=0.05 cores=0,2,4,6
/proc/1475/task/1478/stat : 1478 (java) S 1473 1473 7968 0 -1 1077944384 804 0 0 0 4 1 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309149248400 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1479] ppid=1473 vsize=13980732 memory=1440 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1479/stat : 1479 (java) S 1473 1473 7968 0 -1 1077944384 439 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309148195856 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1480] ppid=1473 vsize=13980732 memory=9916 CPUtime=0.04 cores=0,2,4,6
/proc/1475/task/1480/stat : 1480 (java) S 1473 1473 7968 0 -1 1077944384 238 0 0 0 4 0 0 0 20 0 15 0 34508794 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309147143312 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1481] ppid=1473 vsize=13980732 memory=1200 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1481/stat : 1481 (java) S 1473 1473 7968 0 -1 1077944384 582 0 0 0 1 0 0 0 20 0 15 0 34508796 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309028607984 140309550066306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1482] ppid=1473 vsize=13980732 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1482/stat : 1482 (java) S 1473 1473 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309027554208 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1483] ppid=1473 vsize=13980732 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1483/stat : 1483 (java) S 1473 1473 7968 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 34508796 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309026501616 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1484] ppid=1473 vsize=13980732 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1484/stat : 1484 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309025450192 140309550073755 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1485] ppid=1473 vsize=13980732 memory=13000 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1485/stat : 1485 (java) S 1473 1473 7968 0 -1 1077944384 10730 0 0 0 275 1 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309024397808 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1486] ppid=1473 vsize=13980732 memory=1236 CPUtime=2.76 cores=0,2,4,6
/proc/1475/task/1486/stat : 1486 (java) S 1473 1473 7968 0 -1 1077944384 17286 0 0 0 274 2 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309023345264 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1487] ppid=1473 vsize=13980732 memory=9916 CPUtime=0.51 cores=0,2,4,6
/proc/1475/task/1487/stat : 1487 (java) S 1473 1473 7968 0 -1 1077944384 3846 0 0 0 50 1 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309022292720 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1488] ppid=1473 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/1475/task/1488/stat : 1488 (java) S 1473 1473 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34508799 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309021240416 140309550065365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
[pid=1475/tid=1489] ppid=1473 vsize=13980732 memory=15872 CPUtime=0.01 cores=0,2,4,6
/proc/1475/task/1489/stat : 1489 (java) S 1473 1473 7968 0 -1 1077944384 428 0 0 0 0 1 0 0 20 0 15 0 34508805 14316269568 49129 18446744073709551615 4194304 4196468 140730250917504 140309020186928 140309550066306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 39383040 140730250924466 140730250924642 140730250924642 140730250928079 0
Current children cumulated CPU time: 29.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 197896 KiB
Child status: 0
Real time (s): 23.6481
CPU time (s): 29.7473
CPU user time (s): 29.5706
CPU system time (s): 0.176708
CPU usage (%): 125.792
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 226440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.5706
system time used= 0.176708
maximum resident set size= 225060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48704
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3099
involuntary context switches= 88
# summary of solver processes directly reported to runsolver:
# pid: 1473
# total CPU time (s): 29.7473
# total CPU user time (s): 29.5706
# total CPU system time (s): 0.176708
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173788 second user time and 0.269549 second system time
The end